1414 search results - page 105 / 283 » Combining Intruder Theories |
159
click to vote
TROB
2008
15 years 5 months 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...
172
click to vote
ENTCS
2002
15 years 5 months 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...
189
click to vote
SIAMAM
2002
15 years 5 months 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...
145
click to vote
IPL
2010
15 years 4 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...
122
click to vote
SIGDIAL
2010
15 years 3 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...