613 search results - page 92 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
ATVA
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
AMDO
2000
Springer
14 years 12 days ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...
DAGM
2007
Springer
14 years 2 months ago
2007
Springer
Recursive estimation or Kalman filtering usually relies on explicit model functions, that directly and explicitly describe the effect of the parameters on the observations. Howeve...
IJCV
1998
13 years 8 months ago
1998
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single mo...
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
This paper presents a complete solution to estimating a scene’s 3D geometry and appearance from multiple 2D images by using a statistical inverse ray tracing method. Instead of ...