An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
The role of virtual humans in virtual environment technology and interfaces
Frontiers of human-centred computing, online communities and virtual environments
The invisible future
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Attack Plan Recognition and Prediction Using Causal Networks
ACSAC '04 Proceedings of the 20th Annual Computer Security Applications Conference
Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
ISWC '05 Proceedings of the Ninth IEEE International Symposium on Wearable Computers
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A Component-Based Ambient Agent Model for Assessment of Driving Behaviour
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
Location-based activity recognition using relational Markov networks
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Hi-index | 0.00 |
One of the challenges for ambient intelligent agents to support a human in demanding tasks, is to find out and be aware of what the human is exactly doing, and how much progress is made. Of course, in principle it would be possible to interact with the human to discover what this human is doing, but this communication can potentially slow down or even endanger task performance. In this paper an ambient agent model is presented that is able to obtain such an awareness of the human's progress in task execution by performing model-based analysis using available workflow models and available observation information. The design of the model is based on a component-based generic ambient agent model. Simulation experiments for a case study are discussed, and evaluated by automated formal verification.