Sciweavers

2088 search results - page 209 / 418
» The Probabilistic Method
Sort
View
QEST
2008
IEEE
15 years 10 months ago
CaVi -- Simulation and Model Checking for Wireless Sensor Networks
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
Athanassios Boulis, Ansgar Fehnker, Matthias Fruth...
131
Voted
IPPS
2007
IEEE
15 years 9 months ago
A Markov Reward Model for Software Reliability
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
YoungMin Kwon, Gul Agha
ICCV
2005
IEEE
15 years 9 months ago
Patch Based Blind Image Super Resolution
In this paper, a novel method for learning based image super resolution (SR) is presented. The basic idea is to bridge the gap between a set of low resolution (LR) images and the ...
Qiang Wang, Xiaoou Tang, Harry Shum
106
Voted
MLCW
2005
Springer
15 years 9 months ago
Lessons Learned in the Challenge: Making Predictions and Scoring Them
In this paper we present lessons learned in the Evaluating Predictive Uncertainty Challenge. We describe the methods we used in regression challenges, including our winning method ...
Jukka Kohonen, Jukka Suomela
SEMWEB
2005
Springer
15 years 9 months ago
Statistical Reasoning - A Foundation for Semantic Web Reasoning
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
Shashi Kant, Evangelos Mamas