Sciweavers

151 search results - page 16 / 31
» Strong normalization from an unusual point of view
Sort
View
ECCV
2002
Springer
14 years 9 months ago
Multi-scale EM-ICP: A Fast and Robust Approach for Surface Registration
We investigate in this article the rigid registration of large sets of points, generally sampled from surfaces. We formulate this problem as a general Maximum-Likelihood (ML) estim...
Sébastien Granger, Xavier Pennec
ICIP
2000
IEEE
14 years 9 months ago
3-D Reconstruction of Real-World Objects Using Extended Voxels
In this paper we present a voxel-based 3-D reconstruction technique that computes a set of non-transparent object surface voxels from a given set of calibrated camera views. We sh...
Eckehard G. Steinbach, Bernd Girod, Peter Eisert, ...
IJCAI
2007
13 years 8 months ago
Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded Intelligence
This goal of this paper is to defend the plausibility of the argument that passing the Turing test is a sufficient condition for the presence of intelligence. To this effect, we ...
Virginia Savova, Leonid Peshkin
ICLP
2009
Springer
14 years 8 months ago
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
Miroslaw Truszczynski
ECIS
2001
13 years 8 months ago
Healthcare Portals - Customer Centricity in the Pharmaceutical Industry
Customer centricity has long been a guiding principle for many businesses. However, it is usually limited to marketing existing products with as strong a customer focus as possibl...
Thomas Puschmann, Oliver Thalmann, Rainer Alt