1349 search results - page 142 / 270 » Towards a theory of events |
ICAIL
2007
ACM
15 years 5 months ago
2007
ACM
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
101
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
105
click to vote
BPM
2003
Springer
15 years 5 months ago
2003
Springer
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
128
click to vote
EUSFLAT
2007
15 years 2 months ago
2007
The theory of copulas provides a useful tool for modeling dependence in risk management. In insurance and finance, as well as in other applications, dependence of extreme events ...
120
click to vote
DLT
1993
15 years 2 months ago
1993
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...