570 search results - page 18 / 114 » Robustness and Implementability of Timed Automata |
FMICS
2008
Springer
15 years 1 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
PPSN
2004
Springer
15 years 5 months ago
2004
Springer
Evolving large phenotypes remains nowadays a problem due to the combinatorial explosion of the search space. Seeking better scalability and inspired by the development of biologica...
PAMI
2000
14 years 11 months ago
2000
We describe new techniques to detect and analyze periodic motion as seen from both a static and moving camera. By tracking objects of interest, we compute an object's self-si...
121
click to vote
VMV
2003
15 years 1 months ago
2003
We introduce an approach for realtime segmentation of a scene into foreground objects, background, and object shadows superimposed on the background. To segment foreground objects...
103
click to vote
JMM2
2008
14 years 11 months ago
2008
In this paper a new marker-based approach is presented for 3D camera pose tracking in indoor Augmented Reality (AR). We propose to combine a circular fiducials detection technique ...