1155 search results - page 188 / 231 » A Decision-Theoretic Model of Assistance |
210
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
The goal of this paper is to present a computational framework that enables us to generate elementary speech act sequences in a dialogue between an electronic assistant and a compu...
195
click to vote
EPIA
2003
Springer
15 years 11 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
170
click to vote
FSR
2003
Springer
15 years 11 months ago
2003
Springer
We describe a mobile robot system, designed to assist residents of an retirement facility. This system is being developed to respond to an aging population and a predicted shortage...
149
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
Web-based Information Systems (WIS) are now widely used for diffusing and processing information over the network. Methodological guidelines which assist WIS developers in their t...
191
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...