Sciweavers

4276 search results - page 72 / 856
» Computability of Probability Distributions and Distribution ...
Sort
View
131
Voted
IPPS
2007
IEEE
15 years 10 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
108
Voted
IPPS
2000
IEEE
15 years 8 months ago
Parallel Low-Level Image Processing on a Distributed-Memory System
The paper presents a method to integrate parallelism in the DIPLIB sequential image processing library. The library contains several framework functions for di erent types of opera...
Cristina Nicolescu, Pieter Jonker
141
Voted
CONCUR
2001
Springer
15 years 8 months ago
Symbolic Computation of Maximal Probabilistic Reachability
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
ICML
2005
IEEE
16 years 4 months ago
Naive Bayes models for probability estimation
Naive Bayes models have been widely used for clustering and classification. However, they are seldom used for general probabilistic learning and inference (i.e., for estimating an...
Daniel Lowd, Pedro Domingos
121
Voted
DAC
2008
ACM
16 years 4 months ago
Symbolic noise analysis approach to computational hardware optimization
This paper addresses the problem of computational error modeling and analysis. Choosing different word-lengths for each functional unit in hardware implementations of numerical al...
Arash Ahmadi, Mark Zwolinski