6549 search results - page 233 / 1310 » Parsimonious additive models |
161
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Visual tracking is still a challenging problem in computer vision. The applications of Visual Tracking are far-reaching, ranging from surveillance and monitoring to smart rooms. I...
173
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we present a novel method for efficient 3D model comparison. The method matches highly deformed models by comparing topological and geometric features. First, we pr...
196
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. Surgeons need a robust interventional system capable of providing reliable, real-time information regarding the position and orientation of the surgical targets and tools...
182
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
164
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....