Lecture Notes in Computational Science and Engineering
Collection
Collection
- ISSN: 1439-7358
Published by Springer
-
January 2000
-
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 2003
-
Simulated Time for Testing Railway Interlockings with TTCN-3 In Proceedings
S.C.C. Blom (Stefan), N. Ioustinova (Natalia), J.C. van de Pol (Jaco), A. Rennoch and N. Sidorova
January 2006 -
January 2007
-
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems In Proceedings
T. Chen (Taolue), S.C.W. Ploeger, J.C. van de Pol (Jaco) and T.A.C. Willemse
July 2007 -
Enhancing the Performance of Maximum-Likelihood Gaussian EDAs Using Anticipated Mean Shift In Proceedings
January 2008 -
January 2008