Sciweavers

151 search results - page 16 / 31
» Strong normalization from an unusual point of view
Sort
View
ECCV
2002
Springer
16 years 1 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
16 years 1 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
15 years 1 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
16 years 10 days 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
15 years 1 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