5619 search results - page 348 / 1124 » A Region Inference Algorithm |
164
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
185
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper describes a technique for generating partition sequences of regions presenting long-term homogeneity in color and motion coherency in terms of affine models. The techni...
188
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
In refractory epilepsy, the goal of neuroimaging is to localize the region of seizure onset. Tracers that accumulate and remain fixed proportional to regional cerebral blood flo...
200
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We describe a framework for finding and tracking “trails” for autonomous outdoor robot navigation. Through a combination of visual cues and ladar-derived structural inform...
151
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a probabilistic search algorithm to boost the computational efficiency of face detection in video sequences. The algorithm sequentially predicts the probabili...