Sciweavers

4324 search results - page 697 / 865
» A Generalized Representer Theorem
Sort
View
CIVR
2003
Springer
269views Image Analysis» more  CIVR 2003»
15 years 11 months 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, ...
FM
2003
Springer
109views Formal Methods» more  FM 2003»
15 years 11 months 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...
ICMI
2003
Springer
99views Biometrics» more  ICMI 2003»
15 years 11 months ago
Selective perception policies for guiding sensing and computation in multimodal systems: a comparative analysis
Intensive computations required for sensing and processing perceptual information can impose significant burdens on personal computer systems. We explore several policies for sel...
Nuria Oliver, Eric Horvitz
COMPGEOM
2010
ACM
15 years 11 months ago
3D Euler spirals for 3D curve completion
Shape completion is an intriguing problem in geometry processing with applications in CAD and graphics. This paper defines a new type of 3D curves, which can be utilized for curv...
Gur Harary, Ayellet Tal
COMPGEOM
2010
ACM
15 years 11 months ago
Geometric tomography with topological guarantees
We consider the problem of reconstructing a compact 3manifold (with boundary) embedded in R3 from its crosssections with a given set of cutting planes having arbitrary orientation...
Omid Amini, Jean-Daniel Boissonnat, Pooran Memari