313 search results - page 24 / 63 » Lazy Abstraction with Interpolants |
ICIP
1998
IEEE
14 years 9 months ago
1998
IEEE
Abstract- We investigate the functions of given approximation order L that have the smallest support. Those are shown to be linear combinations of the Bspline of degree .L - 1 and ...
CP
2009
Springer
14 years 8 months ago
2009
Springer
We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate explorat...
BNCOD
2008
13 years 9 months ago
2008
Abstract. Accurate selectivity estimations are essential for query optimization decisions where they are typically derived from various kinds of histograms which condense value dis...
MICCAI
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We present a fast and accurate tool for semiautomatic segmentation of volumetric medical images based on the live wire algorithm, shape-based interpolation and a new opti...
SSDBM
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract. The presence of coverage holes can adversely affect the accurate representation of natural phenomena being monitored by a Wireless Sensor Network (WSN). Current WSN resea...