2440 search results - page 245 / 488 » Explanation-Based Feature Construction |
135
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
154
click to vote
ICFP
1996
ACM
15 years 10 months ago
1996
ACM
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
155
click to vote
SCALESPACE
1997
Springer
15 years 10 months ago
1997
Springer
A general approach for multiscale orientation analysis of 2D scalar images is proposed. A scale-dependent orientation bundle (map of the visual space into function of two arguments...
166
Voted
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
The problem of programming a robot t o carry out a systematic exploration of its environment using realistic sensors is considered in this paper. The robot is modelled as a single...
157
Voted
CADE
1994
Springer
15 years 10 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...