Centrum Wiskunde & Informatica

One-Counter Markov Decision Processes In Proceedings

T. Brazdil, V. Brozek, K. Etessami (Kousha), A. Kucera and D.K. Wojtczak (Dominik)

January 2010
Automated deadlock detection in synchronized reentrant multithreaded call-graphs In Proceedings

I. Grabe (Immo) and F.S. de Boer (Frank)

January 2010
Real-Time Visual Concept Classification Article

IEEE Transactions on Multimedia, 12(7), 665-681.

J.R.R. Uijlings, A.W.M. Smeulders (Arnold) and R.J.H. Scha

January 2010
Rapid Natural Image Identification Based on EEG Data and Global Scene Statistics In Proceedings

S. Ghebreab, H.S. Scholte (Steven), V.A.F. Lamme and A.W.M. Smeulders (Arnold)

January 2010
Towards a web-based simulation experiment description repositor Presentation

M.A. Guravage (Michael)

January 2010
Human-guided search Article

Journal of Heuristics, 16(3), 289-310.

G.W. Klau (Gunnar), N. Lesh, J. Marks and M. Mitzenmacher

January 2010
Using in vitro and in silico modeling to understand colonic short chain fatty acid production Presentation

M.J.A. van Hoek (Milan), A.A. de Graaf, K. Venema and R.M.H. Merks (Roeland)

January 2010
Semantic vs term-based query modification analysis In Proceedings

V. Hollink (Vera), T. Tsikrika (Theodora) and A.P. de Vries (Arjen)

January 2010

Previous

Next