1155 search results - page 55 / 231 » A Decision-Theoretic Model of Assistance |
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different...
ECOOP
2000
Springer
15 years 2 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
SIGCSE
2008
ACM
14 years 9 months ago
2008
ACM
In this hands-on special session, attendees will learn about and use a Game of Life cellular automata framework (Java) to assist with outreach activities. Using the framework, stu...
112
click to vote
HASKELL
2005
ACM
15 years 3 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
108
click to vote
ASSETS
2006
ACM
15 years 3 months ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...