2940 search results - page 117 / 588 » Relational Parametricity and Control |
134
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Many applications in computer vision and pattern recognition involve drawing inferences on certain manifoldvalued parameters. In order to develop accurate inference algorithms on ...
138
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— Consistency of object dynamics, which is related to reliable predictability, is an important factor for generating object manipulation motions. This paper proposes a technique ...
152
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Prediction of dynamic features is an important task for determining the manipulation strategies of an object. This paper presents a technique for predicting dynamics of objects re...
144
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
129
click to vote
DIS
2006
Springer
15 years 8 months ago
2006
Springer
In supervised machine learning, variable ranking aims at sorting the input variables according to their relevance w.r.t. an output variable. In this paper, we propose a new relevan...