Sciweavers

2563 search results - page 383 / 513
» Phenomenology, Representations and Complexity
Sort
View
CIVR
2003
Springer
269views Image Analysis» more  CIVR 2003»
16 years 11 days ago
HPAT Indexing for Fast Object/Scene Recognition Based on Local Appearance
Abstract. The paper describes a fast system for appearance based image recognition . It uses local invariant descriptors and efficient nearest neighbor search. First, local affine ...
Hao Shao, Tomás Svoboda, Tinne Tuytelaars, ...
CP
2003
Springer
16 years 11 days ago
Automated Mechanism Design: A New Application Area for Search Algorithms
Mechanism design is the art of designing the rules of the game (aka. mechanism) so that a desirable outcome (according to a given objective) is reached despite the fact that each a...
Tuomas Sandholm
FM
2003
Springer
109views Formal Methods» more  FM 2003»
16 years 11 days ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...
3DPVT
2002
IEEE
219views Visualization» more  3DPVT 2002»
16 years 3 days ago
A Multi-Resolution Scheme ICP Algorithm for Fast Shape Registration
The iterative closest point (ICP) algorithm is widely used for the registration of geometric data. One of its main drawbacks is its quadratic time complexity O(N2 ) with the shape...
Timothée Jost, Heinz Hügli
CA
2002
IEEE
16 years 3 days ago
Specifying MPEG-4 Body Behaviors
The MPEG-4 standard specifies a set of low-level animation parameters for body animation, but does not provide any high-level functionality for the control of avatars or embodied...
Anthony Guye-Vuillème, Daniel Thalmann