437 search results - page 21 / 88 » Automatic Generation of Implied Constraints |
CVPR
2001
IEEE
14 years 10 months ago
2001
IEEE
We present a system for modeling buildings from a single correlation-based Digital Elevation Model (DEM). The model is constructed in two stages. The first stage segments the DEM ...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
Given a set of 2D images, we propose a novel approach for the reconstruction of straight 3D line segments that represent the underlying geometry of static 3D objects in the scene....
TCS
2008
13 years 8 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
IJCV
2000
13 years 8 months ago
2000
This paper introduces a uniform statistical framework for both 3-D and 2-D object recognition using intensity images as input data. The theoretical part provides a mathematical too...
TOG
2002
13 years 8 months ago
2002
There are many applications that demand large quantities of natural looking motion. It is difficult to synthesize motion that looks natural, particularly when it is people who mus...