Sciweavers

4973 search results - page 754 / 995
» Probabilistic Algorithms in Robotics
Sort
View
TCS
2002
15 years 6 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
IEEECIT
2010
IEEE
15 years 5 months ago
Scaling the iHMM: Parallelization versus Hadoop
—This paper compares parallel and distributed implementations of an iterative, Gibbs sampling, machine learning algorithm. Distributed implementations run under Hadoop on facilit...
Sebastien Bratieres, Jurgen Van Gael, Andreas Vlac...
MICCAI
2010
Springer
15 years 5 months ago
Spatial Decision Forests for MS Lesion Segmentation in Multi-Channel MR Images
Abstract. A new algorithm is presented for the automatic segmentation of Multiple Sclerosis (MS) lesions in 3D MR images. It builds on the discriminative random decision forest fra...
Ezequiel Geremia, Bjoern H. Menze, Olivier Clatz, ...
SIGIR
2010
ACM
15 years 5 months ago
Information-based models for ad hoc IR
We introduce in this paper the family of information-based models for ad hoc information retrieval. These models draw their inspiration from a long-standing hypothesis in IR, name...
Stéphane Clinchant, Éric Gaussier
EMNLP
2010
15 years 4 months ago
Measuring Distributional Similarity in Context
The computation of meaning similarity as operationalized by vector-based models has found widespread use in many tasks ranging from the acquisition of synonyms and paraphrases to ...
Georgiana Dinu, Mirella Lapata