5232 search results - page 44 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
CAD
2004
Springer
13 years 7 months ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and the model building software. Such models can be im...
RAS
2008
13 years 7 months ago
2008
This paper presents the Compliant Task Generator: a new approach for the automatic conversion of a geometric path generated by a compliant path planner to a force based task specif...
WSC
2004
13 years 9 months ago
2004
ICCV
1998
IEEE
14 years 9 months ago
1998
IEEE
We present in this paper a system which automatically
builds, from real images, a scene model containing both
3D geometric information of the scene structure and its
photometric...