Centrum Wiskunde & Informatica

Coinduction in control of partially observed discrete-event systems Tech Report

J. Komenda

January 2003
Conditional limit theorems for queues with Gaussian input, a weak convergence approach Tech Report

A.B. Dieker (Ton)

January 2003
Infinite volume limit for the stationary distribution of Abelian sandpile models Tech Report

S.R. Athreya and A.A. Járai (Antal)

January 2003
COllective INtelligence with task assignment Tech Report

P.J. 't Hoen (Pieter Jan) and S.M. Bohte (Sander)

January 2003
MASCOT : metadata for advanced scalable video coding tools : final report Tech Report

H.J.A.M. Heijmans (Henk), C. Bernard, M. Domanski, B. Pesquet-Popescu, A. Smolic, P. Schelkens and L. Torres

January 2003
A component-based parallel constraint solver Tech Report

P. Zoeteweij (Peter) and F. Arbab (Farhad)

January 2003
Using fairness to make abstractions work Tech Report

D. Bosnacki, N. Ioustinova (Natalia) and N. Sidorova

January 2003
Timed verification with muCRL Tech Report

S.C.C. Blom (Stefan), N. Ioustinova (Natalia) and N. Sidorova

January 2003

Previous

Next