313 search results - page 23 / 63 » Lazy Abstraction with Interpolants |
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. We describe a novel approach to view interpolation from image sequences based on probabilistic depth carving. This builds a multivalued representation of depth for novel ...
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
Abstract. Non-rigid registration of landmarked datasets is an important problem that finds many applications in medical image analysis. In this paper, we present a method for inter...
SCIA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The rendering of lower resolution image data on higher resolution displays has become a very common task, in particular because of the increasing popularity of webcams, c...
ISRR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present an interpolation-based planning and replanning algorithm for generating smooth paths through non-uniform cost grids. Most grid-based path planners use discrete...
SIGSOFT
2006
ACM
14 years 1 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...