1056 search results - page 24 / 212 » A Probabilistic Applied Pi-Calculus |
ESEC
1999
Springer
13 years 12 months ago
1999
Springer
A probabilistic model for software development projects is constructed. The model can be applied to compute an estimate for the development time of a project. The chances of succee...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
The Earth Mover's distance was first introduced as a purely empirical way to measure texture and color similarities. We show that it has a rigorous probabilistic interpretati...
PERCOM
2006
ACM
14 years 7 months ago
2006
ACM
This paper addresses the problem of implementing an context model. First, the abstract context model is represented by a network of situations. Two different implementations for t...
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
COCO
2007
Springer
13 years 11 months ago
2007
Springer
We prove new results on the circuit complexity of Approximate Majority, which is the problem of computing Majority of a given bit string whose fraction of 1's is bounded away...