393 search results - page 35 / 79 » Dynamic Temporal Interpretation Contexts for Temporal Abstra... |
ICMCS
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper builds on an interactive streaming architecture that supports both user feedback interpretation, and temporal juxtaposition of multiple video bitstreams in a single str...
ICONIP
2007
13 years 10 months ago
2007
The understanding of nonstationarity, from both a dynamical and a statistical point of view, has turned from a constraint on application of a specific type of analysis (e.g. spectr...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
HSNMC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Performance of real-time applications on network communication channels are strongly related to losses and temporal delays. Several studies showed that these network feat...
CONCUR
2006
Springer
13 years 10 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...