Sciweavers

31387 search results - page 307 / 6278
» Abstracting abstract machines
Sort
View
134
Voted
DAGSTUHL
2006
15 years 9 months ago
06391 Abstracts Collection -- Algorithms and Complexity for Continuous Problems
Stephan Dahlke, Klaus Ritter, Ian H. Sloan, Joseph...
137
Voted
DAGSTUHL
2006
15 years 9 months ago
06311 Abstracts Collection -- Sensor Data and Information Fusion in Computer Vision and Medicine
Joachim Denzler, Joachim Hornegger, Josef Kittler,...
DAGSTUHL
2006
15 years 9 months ago
06172 Abstracts Collection -- Directed Model Checking
Stefan Edelkamp, Stefan Leue, Willem Visser