Centrum Wiskunde & Informatica

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
Improved capturing of contact discontinuities for two-fluid flows Tech Report

G.F. Duivesteijn

January 2002
A toolbox for the lifting scheme on quincunx grids (LISQ) Tech Report

P.M. de Zeeuw (Paul)

January 2002
User-level performance of channel-aware scheduling algorithms in wireless data networks Tech Report

S.C. Borst (Sem)

January 2002

Previous

Next