19367 search results - page 308 / 3874 » Fine-Grain Process Modelling |
140
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this work we suggest a new model for generating random satisfiable k-CNF formulas. To generate such formulas
130
click to vote
CTW
2006
15 years 4 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
119
click to vote
DEXA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
150
Voted
IEEEICCI
2008
IEEE
15 years 10 months ago
2008
IEEE
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
142
Voted
ADBIS
2004
Springer
15 years 9 months ago
2004
Springer
: The purpose of the current work is to explore and improve the analysis of event data stored in event repositories, enabling the application of specialized event algebra operators...