418 search results - page 45 / 84 » A Formal Model of Human Workflow |
STTT
2008
14 years 9 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
CONCURRENCY
2007
14 years 9 months ago
2007
: Good water management is literally vital for the arid and semi-arid regions of the planet. Yet good water management requires multidisciplinary expertise, since one must consider...
ICCV
2001
IEEE
15 years 11 months ago
2001
IEEE
We develop a framework for 3?D shape and motion recovery of articulated deformable objects. We propose a formalism that incorporates the use of implicit surfaces into earlier robo...
IWANN
2005
Springer
15 years 3 months ago
2005
Springer
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...
103
click to vote
CHI
2006
ACM
15 years 10 months ago
2006
ACM
It has been well established in Cognitive Psychology that humans are able to strategically adapt performance, even highly skilled performance, to meet explicit task goals such as ...