Sciweavers

466 search results - page 20 / 94
» Markovian Models for Performance and Dependability Evaluatio...
Sort
View
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
79
Voted
LREC
2008
107views Education» more  LREC 2008»
14 years 11 months ago
The Construction and Evaluation of Word Space Models
Semantic similarity is a key issue in many computational tasks. This paper goes into the development and evaluation of two common ways of automatically calculating the semantic si...
Yves Peirsman, Simon De Deyne, Kris Heylen, Dirk G...
SIGIR
2003
ACM
15 years 2 months ago
Beyond independent relevance: methods and evaluation metrics for subtopic retrieval
We present a non-traditional retrieval problem we call subtopic retrieval. The subtopic retrieval problem is concerned with finding documents that cover many different subtopics ...
ChengXiang Zhai, William W. Cohen, John D. Laffert...
79
Voted
IPPS
2006
IEEE
15 years 3 months ago
Towards building a highly-available cluster based model for high performance computing
In recent years, we have witnessed a growing interest in high performance computing (HPC) using a cluster of workstations. However, many challenges remain to be resolved before th...
Azzedine Boukerche, Raed Al-Shaikh, Mirela Sechi M...
110
Voted
BMVC
2010
14 years 7 months ago
Joint Modeling of Algorithm Behavior and Image Quality for Algorithm Performance Prediction
In this paper, we propose a framework for predicting the performance of a vision algorithm given the input image or video so as to maximize the algorithm's ability to provide...
Apurva Gala, Shishir Shah