1187 search results - page 159 / 238 » Graph-Based Procedural Abstraction |
109
click to vote
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
ACCV
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Estimation using homogeneous entities has to cope with obstacles such as singularities of covariance matrices and redundant parametrizations which do not allow an immedia...
CVPR
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract: The advent of high-resolution digital cameras and sophisticated multi-view stereo algorithms offers the promises of unprecedented geometric fidelity in image-based modeli...
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. A new approach, called Collective Shape Difference Classifier (CSDC), is proposed to improve the accuracy and computational efficiency of 3D face recognition. The CSDC le...
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. As part of an architectural modeling project, this paper investigates the problem of understanding and manipulating images of buildings. Our primary motivation is to auto...