5718 search results - page 1089 / 1144 » Modeling Rule Precision |
187
Voted
PLPV
2011
ACM
14 years 5 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
134
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
Head pose and eye location estimation are two closely
related issues which refer to similar application areas. In
recent years, these problems have been studied individually
in ...
117
Voted
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
This paper presents a 3D approach to multi-view object class detection. Most existing approaches recognize object classes for a particular viewpoint or combine classifiers for a f...
148
Voted
ICCV
1999
IEEE
16 years 4 months ago
1999
IEEE
A Bayesian framework for deformable pattern classification has been proposed in [1] with promising results for isolated handwritten character recognition. Its performance, however...
115
click to vote
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
Our purpose is to provide an augmented reality system for Radio-Frequency guidance that could superimpose a 3D model of the liver, its vessels and tumors (reconstructed from CT ima...