1711 search results - page 84 / 343 » Completing pseudojump operators |
IWFM
2003
13 years 9 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
This paper explores a formulation for attributed graph matching as an inference problem over a hidden Markov Random Field. We approximate the fully connected model with simpler mo...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
Model learning and tracking are two important topics in computer vision. While there are many applications where one of them is used to support the other, there are currently only...
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper presents a feature-based license plate localization algorithm that copes with multi-object problem in different image capturing conditions. The proposed algorithm is ro...