Sciweavers

2827 search results - page 469 / 566
» CCured in the real world
Sort
View
AAAI
2000
14 years 11 months ago
A Logic for Planning under Partial Observability
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
Andreas Herzig, Jérôme Lang, Dominiqu...
AAAI
1998
14 years 11 months ago
Metacognition in Software Agents Using Classifier Systems
Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...
Zhaohua Zhang, Stan Franklin, Dipankar Dasgupta
AAAI
2000
14 years 11 months ago
Interactive Training for Synthetic Characters
Compelling synthetic characters must behave in ways that reflect their past experience and thus allow for individual personalization. We therefore need a method that allows charac...
Song-Yee Yoon, Robert C. Burke, Bruce Blumberg, Ge...
VCIP
2003
118views Communications» more  VCIP 2003»
14 years 11 months ago
Object and event recognition for stroke rehabilitation
Stroke is a major cause of disability and health care expenditure around the world. Existing stroke rehabilitation methods can be effective but are costly and need to be improved....
Ahmed Ghali, Andrew S. Cunningham, Tony P. Pridmor...
WSCG
2003
149views more  WSCG 2003»
14 years 11 months ago
Simulating Deformable Tools with Haptic Feedback in a Virtual Environment
Simulations for training and analysis incorporating haptic feedback are becoming more popular and the sophistication of these simulations is increasing. Many systems now allow a r...
Stephen D. Laycock, A. M. Day