Sciweavers

529 search results - page 20 / 106
» Causal Time Calculus
Sort
View
TIME
1998
IEEE
14 years 26 days ago
A Logic of Action, Causality, and the Temporal Relations of Events
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
Richard B. Scherl, Glenn Shafer
WSC
1998
13 years 10 months ago
Unsynchronized Parallel Discrete Event Simulation
Distributed synchronization for parallel simulation is generally classified as being either optimistic or conservative. While considerable investigations have been conducted to an...
Dhananjai Madhava Rao, Narayanan V. Thondugulam, R...
ISCI
2008
137views more  ISCI 2008»
13 years 8 months ago
Inference of differential equation models by genetic programming
This paper describes an evolutionary method for identifying a causal model from the observed time series data. We use a system of ordinary differential equations (ODEs) as the cau...
Hitoshi Iba
UAI
2003
13 years 10 months ago
Strong Faithfulness and Uniform Consistency in Causal Inference
A fundamental question in causal inference is whether it is possible to reliably infer the manipulation effects from observational data. There are a variety of senses of asymptot...
Jiji Zhang, Peter Spirtes
FORMATS
2009
Springer
14 years 15 days ago
Safe Runtime Verification of Real-Time Properties
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
Christian Colombo, Gordon J. Pace, Gerardo Schneid...