1383 search results - page 105 / 277 » Directionally adaptive super-resolution |
MVA
1998
13 years 11 months ago
1998
We summarise several techniques in use in our visual robotics research. Our aim is to develop robots that are thoroughly autonomous and adaptable. We describe a system that is ind...
ENTCS
2008
13 years 10 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
CUZA
2002
13 years 9 months ago
2002
This paper presents a theory of testing for processes calculi which have broadcast as basic communication primitive. Firstly, we justify the necessity of an alternative theory to b...
JC
2010
13 years 8 months ago
2010
In this paper we de ne a new condition number adapted to directionally uniform perturbations in a general framework of maps between Riemannian manifolds. The de nitions and theorem...
CVPR
2004
IEEE
14 years 12 months ago
2004
IEEE
In this paper, we first develop a direct Bayesian based Support Vector Machine by combining the Bayesian analysis with the SVM. Unlike traditional SVM-based face recognition metho...