Sciweavers

352 search results - page 23 / 71
» The Structure of First-Order Causality
Sort
View
ASE
2000
116views more  ASE 2000»
13 years 7 months ago
Behavioural Conflicts in a Causal Specification
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
Jonathan D. Moffett, Andrew Vickers
LICS
2000
IEEE
13 years 12 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
ICML
2010
IEEE
13 years 8 months ago
Learning Temporal Causal Graphs for Relational Time-Series Analysis
Learning temporal causal graph structures from multivariate time-series data reveals important dependency relationships between current observations and histories, and provides a ...
Yan Liu 0002, Alexandru Niculescu-Mizil, Aurelie C...
SDM
2012
SIAM
355views Data Mining» more  SDM 2012»
11 years 10 months ago
Granger Causality Analysis in Irregular Time Series
Learning temporal causal structures between time series is one of the key tools for analyzing time series data. In many real-world applications, we are confronted with Irregular T...
Mohammad Taha Bahadori, Yan Liu
SYNTHESE
2008
112views more  SYNTHESE 2008»
13 years 7 months ago
A sufficient condition for pooling data
We consider the problems arising from using sequences of experiments to discover the causal structure among a set of variables, none of whom are known ahead of time to be an "...
Frederick Eberhardt