Sciweavers

2328 search results - page 104 / 466
» Causal Relation Extraction
Sort
View
CORR
2007
Springer
93views Education» more  CORR 2007»
15 years 4 months ago
Simultaneous Communication of Data and State
We consider the problem of transmitting data at rate R over a state dependent channel p(ylx, s) with the state information available at the sender and at the same time conveying th...
Thomas M. Cover, Young-Han Kim, Arak Sutivong
TIT
2008
66views more  TIT 2008»
15 years 4 months ago
State Amplification
We consider the problem of transmitting data at rate over a state-dependent channel with state information available at the sender and at the same time conveying the information ab...
Young-Han Kim, Arak Sutivong, Thomas M. Cover
FORMATS
2010
Springer
15 years 2 months ago
Diagnosis Using Unfoldings of Parametric Time Petri Nets
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jar...
AMSTERDAM
2009
15 years 2 months ago
Some New Observations on 'Because (of)'
Because (of) is ambiguous between a `reason' and a `plain cause' interpretation. Presenting a semantic analysis within the framework of Discourse Representation Theory, I...
Torgrim Solstad
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
16 years 1 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich