2211 search results - page 101 / 443 » The state of peer-to-peer simulators and simulations |
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a new framework for accumulating beliefs in spoken dialogue systems. The technique is based on updating a Bayesian Network that represents the underlying state...
P2P
2006
IEEE
15 years 4 months ago
2006
IEEE
We describe the problem of data dissemination in stream-oriented applications where the required filter is a function of the current state. We call such functions dynamic filter...
QEST
2006
IEEE
15 years 4 months ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
VTC
2006
IEEE
15 years 4 months ago
2006
IEEE
— In this paper, we compare two selective-repeat automatic-repeat-request (SR-ARQ) protocols for spatial multiplexing multiple-input multiple-output (MIMO) orthogonal frequency-d...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...