Sciweavers

529 search results - page 65 / 106
» Causal Time Calculus
Sort
View
INTERACT
2003
13 years 10 months ago
Reactive Information Displays
: Reactive Information Displays (RIDs) that track and react to a user’s attention, to present the right information at the right place and in the right time, constitute a relativ...
N. Hari Narayanan, Daesub Yoon
AIPS
2009
13 years 10 months ago
The Influence of k-Dependence on the Complexity of Planning
A planning problem is k-dependent if each action has at most k pre-conditions on variables unaffected by the action. This concept is well-founded since k is a constant for all but...
Omer Giménez, Anders Jonsson
ENTCS
2006
111views more  ENTCS 2006»
13 years 8 months ago
A Verified Compiler for Synchronous Programs with Local Declarations
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
Klaus Schneider, Jens Brandt, Tobias Schüle
CORR
2007
Springer
93views Education» more  CORR 2007»
13 years 8 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»
13 years 8 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