3051 search results - page 81 / 611 » Learning Internal Representations |
228
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
103
click to vote
DAGM
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a hierarchical partitioning of images using a pairwise similarity function on a graph-based representation of an image. This function measures the difference ...
120
click to vote
CVIU
2006
15 years 3 months ago
2006
This paper describes how a visual system can automatically define features of interest from the observation of a large enough number of natural images. The principle complements t...
113
click to vote
SIAMCO
2010
14 years 10 months ago
2010
A minimum time problem with a nonlinear smooth dynamics and a target satisfying an internal sphere condition is considered. Under the assumption that the minimum time T be continu...
103
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
The use of motor primitives for the generation of complex movements is a relatively new and interesting idea for dimensionality reduction in robot control. We propose a framework ...