1866 search results - page 69 / 374 » Robust Algorithms and Price of Robustness in Shunting Proble... |
176
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
122
click to vote
FMSD
2008
15 years 5 months ago
2008
Timed automata are governed by an idealized semantics that assumes a perfectly precise behavior of the clocks. The traditional semantics is not robust because the slightest perturb...
149
click to vote
SIGIR
2008
ACM
15 years 5 months ago
2008
ACM
Pseudo-feedback-based automatic query expansion yields effective retrieval performance on average, but results in performance inferior to that of using the original query for many...
142
click to vote
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Illumination inconsistencies cause serious problems for classical computer vision applications such as tracking and stereo matching. We present a new approach to model illuminatio...
201
click to vote
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
Models of spatial variation in images are central to a large number of low-level computer vision problems including segmentation, registration, and 3D structure detection. Often, i...