Sciweavers

1569 search results - page 259 / 314
» On the Locality of Representations
Sort
View
EVOW
2010
Springer
14 years 1 months ago
Ant Colony Optimization for Tree Decompositions
Instances of constraint satisfaction problems can be solved efficiently if they are representable as a tree decomposition of small width. Unfortunately, the task of finding a deco...
Thomas Hammerl, Nysret Musliu
ACIVS
2007
Springer
14 years 1 months ago
Joint Domain-Range Modeling of Dynamic Scenes with Adaptive Kernel Bandwidth
Abstract. The first step in various computer vision applications is a detection of moving objects. The prevalent pixel-wise models regard image pixels as independent random process...
Borislav Antic, Vladimir S. Crnojevic
CVPR
2004
IEEE
14 years 1 months ago
Parts-Based 3D Object Classification
This paper presents a parts-based method for classifying scenes of 3D objects into a set of pre-determined object classes. Working at the part level, as opposed to the whole objec...
Daniel F. Huber, Anuj Kapuria, Raghavendra Donamuk...
CAV
2006
Springer
116views Hardware» more  CAV 2006»
14 years 1 months ago
Lazy Shape Analysis
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
ECCV
2004
Springer
14 years 1 months ago
Efficient Initialization for Constrained Active Surfaces, Applications in 3D Medical Images
A novel method allowing simplified and efficient active surface initialization for 3D images segmentation is presented. Our method allows to initialize an active surface through si...
Roberto Ardon, Laurent D. Cohen