418 search results - page 27 / 84 » A Formal Model of Human Workflow |
120
click to vote
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
We present a new method for classification with structured
latent variables. Our model is formulated using the
max-margin formalism in the discriminative learning literature.
We...
69
Voted
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
HCI
2009
14 years 7 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
100
click to vote
ENASE
2009
14 years 7 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
101
click to vote
EDOC
2005
IEEE
15 years 3 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...