CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
XML-IR: coverage as a part of relevance In Proceedings
January 2002 -
January 2002
-
The TREC2001 video track: information retrieval on digital video information In Proceedings
A.F. Smeaton, P. Over, C.J. Costello (Craig), A.P. de Vries (Arjen), D. Doermann, A. Hauptmann (Andreas), M.E. Rorvig, J.R. Smith (John) and L. Wu
January 2002 -
Moa: extensibility and efficiency in querying nested data Tech Report
M. van Keulen, J. Vonk, A.P. de Vries (Arjen), J. Flokstra and H.E. Blok (Henk Ernst)
January 2002 -
Refinement and Verification Applied to an In-flight Data Acquisitation Unit In Proceedings
W.J. Fokkink (Wan), N. Ioustinova (Natalia), E. Kesseler, J.C. van de Pol (Jaco), Y.S. Usenko (Yaroslav) and Y. Yushtein (Yuri)
January 2002 -
State Space Reduction by Proving Confluence In Proceedings
January 2002 -
State space generation for the HAVi leader election protocol Article
Science of Computer Programming, 43(1), 1-33.January 2002
-
January 2002