682 search results - page 98 / 137 » One-Counter Markov Decision Processes |
72
Voted
CORR
2006
Springer
15 years 24 days ago
2006
Springer
Abstract-- The problem of cooperative fusion in the presence of both Byzantine sensors and misinformed sensors is considered. An information theoretic formulation is used to charac...
106
Voted
JSAC
2007
15 years 20 days ago
2007
— We consider the general problem of optimizing the performance of OBS networks with multiple traffic classes subject to strict (absolute) QoS constraints in terms of the end-to...
101
Voted
CORR
2000
Springer
15 years 18 days ago
2000
Springer
A crucial step in processing speech audio data for information extraction, topic detection, or browsing/playback is to segment the input into sentence and topic units. Speech segm...
104
Voted
ENTCS
2002
15 years 17 days ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
97
Voted
TRANSCI
2002
15 years 12 days ago
2002
Vendor managed inventory replenishment is a business practice in which vendors monitor their customers' inventories, and decide when and how much inventory should be replenis...