4372 search results - page 273 / 875 » Algorithmic Theories of Everything |
186
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Powerful SIMD instructions in modern processors offer an opportunity for greater search performance. In this paper, we apply these instructions to decoding search engine posting ...
137
click to vote
ICCV
2007
IEEE
16 years 8 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 ...
136
click to vote
ICPR
2008
IEEE
16 years 7 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...
153
Voted
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we propose a practical and efficient method for finding the globally optimal solution to the problem of camera pose estimation for calibrated cameras. While traditio...
260
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...