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
-
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
-
January 2002
-
First-order logic as a constraint programming language In Proceedings
January 2002
-
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
-
Review of "Mathematical logic for computer science (second revised edition)" by Mordechai Ben-Ari, Springer 2001 Article
Theory and Practice of Logic Programming, 2(1), 123-124.January 2002