37 search results - page 8 / 8 » SAT-Based Procedures for Temporal Reasoning |
LICS
2003
IEEE
13 years 11 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
FGR
2000
IEEE
13 years 10 months ago
2000
IEEE
We present a generic and robust method for model-based global 3D head pose estimation in monocular and non-calibrated video sequences. The proposed method relies on a 3D/2D matchi...