774 search results - page 123 / 155 » Markov incremental constructions |
RC
2002
13 years 8 months ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
MA
2010
Springer
13 years 7 months ago
2010
Springer
We consider two continuous-time Gaussian processes, one being partially correlated to a time-lagged version of the other. We first give the limiting spectral distribution for the ...
TON
2010
13 years 7 months ago
2010
—In mobile TV broadcast networks, the base station broadcasts TV channels in bursts such that mobile devices can receive a burst of traffic and then turn off their radio frequen...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
ICDE
2009
IEEE
13 years 6 months ago
2009
IEEE
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...