3804 search results - page 14 / 761 » From Here to There |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
DM
2006
13 years 9 months ago
2006
In this paper, we study the problem of sampling (exactly) uniformly from the set of linear extensions of an arbitrary partial order. Previous Markov chain techniques have yielded ...
AAI
2010
13 years 6 months ago
2010
Here, we present a constrained object recognition task that has been robustly solved largely with simple machine learning methods, using a small corpus of about 100 images taken u...
CVPR
1999
IEEE
14 years 11 months ago
1999
IEEE
This paper addresses the problem of estimating the epipolar geometry from apparent contours in two special cases: under weak perspective and for circular motion. An appropriate pa...
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
The information conveyed by optical flow is analytically linked to the observer motion in this paper by decomposing the optical flow field into its vector field components. It is ...