5619 search results - page 77 / 1124 » A Region Inference Algorithm |
FASE
2010
Springer
15 years 4 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
CBMS
2007
IEEE
14 years 11 months ago
2007
IEEE
In this paper we present an evaluation of four different 3D segmentation algorithms with respect to their performance on three different CT Data Sets. The segmentation algorithms ...
IJCV
2006
14 years 9 months ago
2006
We present a new approach to the algorithmic study of planar curves, with applications to estimations of contours in images. We construct spaces of curves satisfying constraints su...
109
click to vote
DGO
2004
14 years 11 months ago
2004
: The use of Voronoi diagrams in GIS-oriented spatiotemporal databases is considered. The Voronoi algorithms generate appropriate meshes for data interpolation. We illustrate the d...
ECCV
2010
Springer
14 years 10 months ago
2010
Springer
Sparse representation of signals has been the focus of much research in the recent years. A vast majority of existing algorithms deal with vectors, and higher