418 search results - page 21 / 84 » A Formal Model of Human Workflow |
SDL
2003
14 years 11 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
124
click to vote
AAMAS
2012
Springer
13 years 5 months ago
2012
Springer
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...
ECBS
2008
IEEE
15 years 4 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper presents a new hierarchical segmentation of the observed driving behavioral data based on the levels of abstraction of the underlying dynamics. By synthesizi...