1914 search results - page 235 / 383 » Abstract lambda-Calculus Machines |
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We address the problem of learning good features for understanding video data. We introduce a model that learns latent representations of image sequences from pairs of su...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract– The investigation of continuum robots has become an area of considerable interest in the last several years. Unlike conventional robotic manipulators which bend in disc...
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
ICAIL
2003
ACM
14 years 1 months ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...
AVBPA
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In face recognition, a simple classifier such as NNk − is frequently used. For a robust system, it is common to construct the multiclass classifier by combining the out...