6167 search results - page 284 / 1234 » Can Refinement be Automated |
244
click to vote
CADE
2009
Springer
16 years 8 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
181
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper presents a method for triangulation of 3D points given their projections in two images. Recent results show that the triangulation mapping can be represented as a linea...
281
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
We propose a generic grouping algorithm that constructs a hierarchy of regions from the output of any contour detector. Our method consists of two steps, an Oriented Watershed Tran...
160
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
Classic methods for Bayesian inference effectively constrain search to lie within regions of significant probability of the temporal prior. This is efficient with an accurate dyna...
181
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
In this paper, we show that in a multi-camera context, we can effectively handle occlusions in real-time at each frame independently, even when the only available data comes from ...