Centrum Wiskunde & Informatica

Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions In Proceedings

M. Hazewinkel (Michiel)

January 2002
Diaglogue mediated information retrieval, automatic keyphrase assignment and identification clouds In Proceedings

M. Hazewinkel (Michiel)

January 2002
JITty: a Rewriter with Strategy Annotations In Proceedings

J.C. van de Pol (Jaco)

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

S.C.C. Blom (Stefan) and J.C. van de Pol (Jaco)

January 2002
State space generation for the HAVi leader election protocol Article

Science of Computer Programming, 43(1), 1-33.

Y.S. Usenko (Yaroslav)

January 2002

Previous

Next