Sciweavers

2116 search results - page 318 / 424
» On Probabilistic Alternating Simulations
Sort
View
ATC
2009
Springer
15 years 10 months ago
Management without (Detailed) Models
We present a resource management algorithm based upon guided “walks” within a system state space. Walks are guided via simple predictions of optimum behavior whose accuracy inc...
Alva L. Couch, Mark Burgess, Marc Chiarini
122
Voted
CIKM
2009
Springer
15 years 10 months ago
Evaluation of methods for relative comparison of retrieval systems based on clickthroughs
The Cranfield evaluation method has some disadvantages, including its high cost in labor and inadequacy for evaluating interactive retrieval techniques. As a very promising alter...
Jing He, Chengxiang Zhai, Xiaoming Li
159
Voted
CMSB
2009
Springer
15 years 10 months ago
A Bayesian Approach to Model Checking Biological Systems
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
Sumit Kumar Jha, Edmund M. Clarke, Christopher Jam...
PREMI
2009
Springer
15 years 10 months ago
Unsupervised Color Image Segmentation Using Compound Markov Random Field Model
Abstract. In this paper, we propose an unsupervised color image segmentation scheme using homotopy continuation method and Compound Markov Random Field (CMRF) model. The proposed s...
Sucheta Panda, P. K. Nanda
150
Voted
MM
2009
ACM
163views Multimedia» more  MM 2009»
15 years 10 months ago
Peer-assisted packet loss repair for IPTV video multicast
Emerging IPTV technology uses source-specific IP multicast to deliver TV programs to the end-users. To provide timely and reliable services over the error-prone DSL access networ...
Zhi Li, Xiaoqing Zhu, Ali C. Begen, Bernd Girod