Sciweavers

4341 search results - page 535 / 869
» Quantitative Model checking
Sort
View
ICIP
2010
IEEE
15 years 4 months ago
Shape from shading for hybrid surfaces as applied to tooth reconstruction
Accurate 3-D modeling of the human teeth helps patients avoid the discomfort of the mold process, and improves the data accuracy for oral surgeons, orthodontists and dental care p...
Cambron N. Carter, Rosario J. Pusateri, Dongqing C...
CVPR
2012
IEEE
13 years 9 months ago
Multiclass pixel labeling with non-local matching constraints
A popular approach to pixel labeling problems, such as multiclass image segmentation, is to construct a pairwise conditional Markov random field (CRF) over image pixels where the...
Stephen Gould
CVPR
2009
IEEE
17 years 1 months ago
Recognition of Repetitive Sequential Human Activity
We present a novel framework for recognizing repetitive sequential events performed by human actors with strong temporal dependencies and potential parallel overlap. Our solutio...
Akira Yanagawa, Arun Hampapur, Quanfu Fan, Russell...
ICCV
2009
IEEE
16 years 11 months ago
Feature-Centric Efficient Subwindow Search
embedded in a sliding-window scheme. Such exhaustive search involves massive computation. Efficient Subwindow Search (ESS) [11] avoids this by means of branch and bound. However...
Alain Lehmann, Bastian Leibe, Luc van Gool
ICCV
2005
IEEE
16 years 8 months ago
Geometric Context from a Single Image
Many computer vision algorithms limit their performance by ignoring the underlying 3D geometric structure in the image. We show that we can estimate the coarse geometric propertie...
Derek Hoiem, Alexei A. Efros, Martial Hebert