1638 search results - page 66 / 328 » Properties of input-consuming derivations |
IJCV
2002
14 years 9 months ago
2002
In this paper we explore a multiple hypothesis approach to estimating rigid motion from a moving stereo rig. More precisely, we introduce the use of Gaussian mixtures to model cor...
IJSM
2002
14 years 9 months ago
2002
This work considers the problem of metamorphosis interpolation between two freeform planar curves. Given two planar parametric curves, the curvature signature of the two curves is...
104
click to vote
ISCI
2002
14 years 9 months ago
2002
This paper presents a framework for the study of generalizing the standard notion of equivalence relation in rough set approximation space with various categories of k-step neighb...
JAR
2002
14 years 9 months ago
2002
We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...
JMLR
2002
14 years 9 months ago
2002
We define notions of stability for learning algorithms and show how to use these notions to derive generalization error bounds based on the empirical error and the leave-one-out e...