1414 search results - page 105 / 283 » Combining Intruder Theories |
110
Voted
TROB
2008
15 years 18 days ago
2008
We present a system for robust robot skill acquisition from kinesthetic demonstrations. This system allows a robot to learn a simple goal-directed gesture, and correctly reproduce...
112
click to vote
ENTCS
2002
15 years 15 days ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
130
Voted
SIAMAM
2002
15 years 11 days ago
2002
A new morphological multiscale method in 3D image processing is presented which combines the image processing methodology based on nonlinear diffusion equations and the theory of g...
93
Voted
IPL
2010
14 years 11 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
76
Voted
SIGDIAL
2010
14 years 10 months ago
2010
Van der Sandt's algorithm for handling presupposition is based on a "presupposition as anaphora" paradigm and is expressed in the realm of Kamp's DRT. In recen...