23 search results - page 1 / 5 » Towards Higher-Order DL-Lite |
DLOG
2008
13 years 7 months ago
2008
MICCAI
2010
Springer
13 years 3 months ago
2010
Springer
In this paper we introduce a novel approach for inferring articulated spine models from images. A low-dimensional manifold embedding is created from a training set of prior mesh mo...
ICCV
1999
IEEE
14 years 6 months ago
1999
IEEE
The paper describes a scheme for detecting vehicles in images. The proposed method approximately models the unknown distribution of the images of vehicles by learning higher order...
ICIP
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper, we propose a novel technique to represent and recover optical flow through free form deformations. Such a technique is based on representing the motion field usin...
CADE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...