66 search results - page 5 / 14 » On Byzantine generals with alternative plans |
LPAR
2001
Springer
14 years 5 days ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...
AAAI
2011
12 years 7 months ago
2011
Planning agents often lack the computational resources needed to build full planning trees for their environments. Agent designers commonly overcome this finite-horizon approxima...
SIGOPS
2008
13 years 7 months ago
2008
In Linux, applications like su and login currently run as root in order to access authentication information and set or alter the identity of the process. In such cases, if the ap...
BCSHCI
1997
13 years 9 months ago
1997
In this article we wish to show a method to go beyond the established approaches of human-computer interaction. We first bring a serious critique of traditional interface types, sh...