276 search results - page 41 / 56 » Abstraction and Refinement for Local Reasoning |
ICCV
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper considers the problem of self-calibration of a camera from an image sequence in the case where the camera's internal parameters (most notably focal length) may cha...
CAD
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents a new unified subdivision scheme that is defined over a k-simplicial complex in n-D space with k 3. We first present a series of definitions to facilitate top...
ICLP
2010
Springer
14 years 19 days ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— Robotics researchers are often faced with realtime constraints, and for that reason algorithmic and implementation-level optimization can dramatically increase the over...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— In the past many solutions for simultaneous localization and mapping (SLAM) have been presented. Recently these solutions have been extended to map large environments w...