Sciweavers

466 search results - page 45 / 94
» Representation and Computation of Boolean Combinations of Sc...
Sort
View
CVPR
2009
IEEE
15 years 3 months ago
Epitomized Priors for Multi-labeling Problems
Image parsing remains difficult due to the need to combine local and contextual information when labeling a scene. We approach this problem by using the epitome as a prior over ...
Jonathan Warrell, Simon J. D. Prince, Alastair P. ...
ACCV
2007
Springer
14 years 2 months ago
Continuously Tracking Objects Across Multiple Widely Separated Cameras
In this paper, we present a new solution to the problem of multi-camera tracking with non-overlapping fields of view. The identities of moving objects are maintained when they are...
Yinghao Cai, Wei Chen, Kaiqi Huang, Tieniu Tan
CVPR
2010
IEEE
13 years 11 months ago
Ray Markov Random Fields for Image-Based 3D Modeling: Model and Efficient Inference
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
Shubao Liu, David Cooper
FMICS
2008
Springer
13 years 10 months ago
Efficient Symbolic Model Checking for Process Algebras
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
José Vander Meulen, Charles Pecheur
SIGGRAPH
1999
ACM
14 years 29 days ago
A Morphable Model for the Synthesis of 3D Faces
In this paper, a new technique for modeling textured 3D faces is introduced. 3D faces can either be generated automatically from one or more photographs, or modeled directly throu...
Volker Blanz, Thomas Vetter