466 search results - page 45 / 94 » Representation and Computation of Boolean Combinations of Sc... |
110
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
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 ...
ACCV
2007
Springer
15 years 6 months ago
2007
Springer
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...
119
click to vote
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
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...
FMICS
2008
Springer
15 years 1 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
159
click to vote
SIGGRAPH
1999
ACM
15 years 4 months ago
1999
ACM
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...