Sciweavers

1155 search results - page 19 / 231
» A Decision-Theoretic Model of Assistance
Sort
View
ICFEM
2007
Springer
14 years 3 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
IUI
2006
ACM
14 years 3 months ago
Activity-oriented context-aware adaptation assisting mobile geo-spatial activities
Human geospatial activities often involves the use of geographic information in mobile environment where the context of technology use is dynamic, complex, and unstable, creating ...
Guoray Cai, Yinkun Xue
RAS
2008
142views more  RAS 2008»
13 years 9 months ago
Motion intention recognition in robot assisted applications
Acquiring, representing and modeling human skills is one of the key research areas in teleoperation, programming-by-demonstration and human-machine collaborative settings. The pro...
Daniel Aarno, Danica Kragic
ICIA
2007
14 years 2 days ago
The Smart Personal Assistant: An Overview
The Smart Personal Assistant (SPA) enables users to access e-mail and calendar information using natural language dialogue through a PDA platform. The user interface to the SPA mu...
Wayne Wobcke, Anh Nguyen, Van Hai Ho, Alfred Krzyw...
CIA
2008
Springer
13 years 11 months ago
Modeling Dynamics of Relative Trust of Competitive Information Agents
In order for personal assistant agents in an ambient intelligence context to provide good recommendations, or pro-actively support humans in task allocation, a good model of what t...
Mark Hoogendoorn, S. Waqar Jaffry, Jan Treur