2479 search results - page 209 / 496 » Random Event Structures |
160
click to vote
EEMMAS
2007
Springer
16 years 20 days ago
2007
Springer
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...
163
click to vote
MOZ
2004
Springer
15 years 12 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
146
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
165
click to vote
CSCWD
2005
Springer
15 years 8 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
215
click to vote
DCOSS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...