CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Efficient nonconflict check by using automaton abstractions In Proceedings
R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
January 2009 -
Synthesize nonblocking distributed supervisors with coordinators In Proceedings
R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
January 2009 -
Kolmogorov Complexity in Randomness Extraction In Proceedings
January 2009 -
An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems In Proceedings
R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
January 2009 -
Realization theory of discrete-time linear hybrid system In Proceedings
January 2009 -
January 2009
-
January 2009
-
The MediaMill TRECVID 2009 Semantic Video Search Engine In Proceedings
C. Snoek, K.E.A. van de Sande, O. de Rooij, B. Huurnink, J.R.R. Uijlings, M. van Liempt, M. Bugalho, I. Trancoso (Isabel), M.A. Tahir, K. Mikolajczyk, et al. J. Kittler, M. de Rijke (Maarten), J.M. Geusebroek (Jan-Mark), T. Gevers, M. Worring (Marcel), D.C. Koelma and A.W.M. Smeulders (Arnold)
January 2009