5964 search results - page 383 / 1193 » A theory of speculative computation |
195
click to vote
JSYML
2010
15 years 6 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
178
click to vote
COMPUTING
2006
15 years 7 months ago
2006
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...
175
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
Traditional face recognition systems attempt to achieve a high recognition accuracy, which implicitly assumes that the losses of all misclassifications are the same. However, in m...
173
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
We describe a new framework for globally solving the 3D-3D registration problem with unknown point correspondences. This problem is significant as it is frequently encountered in ...
164
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This article presents a preceding car rear view tracking algorithm which utilizes a particle filter and belief function data fusion. Most of tracking applications resort to only o...