Sciweavers

179 search results - page 25 / 36
» Deadline-Constrained Causal Order
Sort
View
ISPA
2004
Springer
14 years 2 months ago
Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
Michael Knoke, Felix Kühling, Armin Zimmerman...
ICPR
2008
IEEE
14 years 3 months ago
On-line novelty detection using the Kalman filter and extreme value theory
Novelty detection is concerned with identifying abnormal system behaviours and abrupt changes from one regime to another. This paper proposes an on-line (causal) novelty detection...
Hyoungjoo Lee, Stephen J. Roberts
AUSAI
2007
Springer
14 years 3 months ago
Temporal Extensions to Defeasible Logic
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
Guido Governatori, Paolo Terenziani
IJSI
2008
91views more  IJSI 2008»
13 years 8 months ago
Random Event Structures
Abstract In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as caus...
Manfred Droste, Guo-Qiang Zhang
CORR
2007
Springer
104views Education» more  CORR 2007»
13 years 8 months ago
Sorting and Selection in Posets
Classical problems of sorting and searching assume an underlying linear ordering of the objects being compared. In this paper, we study a more general setting, in which some pairs...
Constantinos Daskalakis, Richard M. Karp, Elchanan...