418 search results - page 21 / 84 » A Formal Model of Human Workflow |
148
Voted
SDL
2003
15 years 4 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...
202
Voted
AAMAS
2012
Springer
13 years 11 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...
109
click to vote
ECBS
2008
IEEE
15 years 10 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...
136
click to vote
ATAL
2005
Springer
15 years 9 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...
131
Voted
IROS
2009
IEEE
15 years 10 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...