Sciweavers

2328 search results - page 104 / 466
» Causal Relation Extraction
Sort
View
CORR
2007
Springer
93views Education» more  CORR 2007»
14 years 11 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
74
Voted
TIT
2008
66views more  TIT 2008»
14 years 11 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
14 years 9 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
14 years 9 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»
15 years 8 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