2211 search results - page 101 / 443 » The state of peer-to-peer simulators and simulations |
181
click to vote
ICASSP
2008
IEEE
16 years 25 days 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...
148
click to vote
P2P
2006
IEEE
16 years 12 days 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...
151
click to vote
QEST
2006
IEEE
16 years 12 days 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...
157
click to vote
VTC
2006
IEEE
16 years 12 days 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...
178
click to vote
CAV
2004
Springer
15 years 10 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...