592 search results - page 61 / 119 » Learning Generalized Plans Using Abstract Counting |
TFS
2008
14 years 9 months ago
2008
Abstract--Since the fuzzy cerebellar model articulation controller (FCMAC) uses linguistic variables, it is highly intuitive and easily comprehended. Despite the FCMAC's good ...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— We present a novel approach for determining robot movements that efficiently accomplish the robot’s tasks while not hindering the movements of people within the environment....
SIGUCCS
2003
ACM
15 years 3 months ago
2003
ACM
The University of Delaware has a powerful legacy SIS system. The University plans to replace this system in 2004-05. In the meantime, we have populated WebCT rosters using custom ...
MICCAI
2001
Springer
15 years 2 months ago
2001
Springer
Computer systems for surgical planning and training are poised to greatly impact the traditional versions of these tasks. These systems provide an opportunity to learn surgical tec...