11436 search results - page 466 / 2288 » Modeling Real Reasoning |
162
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
A methodfor upgrading a projective reconstruction to metric is presented. The reconstruction is first transformed by considering cheirality so that the convex hull of the set of c...
151
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
A new method for classification is proposed. This is based on kernel orthonormalized partial least squares (PLS) dimensionality reduction of the original data space followed by a ...
184
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
185
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
144
click to vote
PIMRC
2008
IEEE
16 years 19 days ago
2008
IEEE
—In this paper the Self-Localization problem for Sensor Networks is addressed. Given a set of nodes deployed in an environment, self-localization consists of finding out the loc...