313 search results - page 23 / 63 » Lazy Abstraction with Interpolants |
172
click to vote
ECCV
2004
Springer
16 years 8 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 ...
120
click to vote
MICCAI
2003
Springer
16 years 7 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...
130
click to vote
SCIA
2007
Springer
16 years 5 days 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...
168
click to vote
ISRR
2005
Springer
15 years 11 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...
165
click to vote
SIGSOFT
2006
ACM
16 years 1 days 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...