Sciweavers

179 search results - page 27 / 36
» The Shape of Incomplete Preferences
Sort
View
SEMWEB
2009
Springer
14 years 2 months ago
Reasoning With Provenance, Trust and all that other Meta Knowlege in OWL
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
Simon Schenk, Renata Queiroz Dividino, Steffen Sta...
IWVF
2001
Springer
14 years 2 months ago
Head Model Acquisition from Silhouettes
This paper describes a practical system developed for generating 3D models of human heads from silhouettes alone. The input to the system is an image sequence acquired from circula...
Kwan-Yee Kenneth Wong, Paulo R. S. Mendonça...
ICRA
1993
IEEE
184views Robotics» more  ICRA 1993»
14 years 2 months ago
Vision-Guided Exploration: A Step Toward General Motion Planning in Three Dimensions
We present an approach for solving the path planning problem for a mobile robot operating in an unknown, three dimensional environment containing obstacles of arbitrary shape. The...
Kiriakos N. Kutulakos, Vladimir J. Lumelsky, Charl...
FOSSACS
2010
Springer
14 years 1 months ago
Untyped Recursion Schemes and Infinite Intersection Types
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
Takeshi Tsukada, Naoki Kobayashi
NIPS
2004
13 years 11 months ago
The Correlated Correspondence Algorithm for Unsupervised Registration of Nonrigid Surfaces
We present an unsupervised algorithm for registering 3D surface scans of an object undergoing significant deformations. Our algorithm does not need markers, nor does it assume pri...
Dragomir Anguelov, Praveen Srinivasan, Hoi-Cheung ...