854 search results - page 151 / 171 » Abstracting from Failure Probabilities |
200
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
108
click to vote
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We describe a Markov chain Monte Carlo based particle filter that effectively deals with interacting targets, i.e., targets that are influenced by the proximity and/or be...
119
click to vote
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Abstract. Control systems for electrical microgrids rely ever more on heterogeneous off-the-shelf technology for hardware, software and networking among the intelligent electronic ...
112
click to vote
PPOPP
2010
ACM
15 years 9 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
104
click to vote
APPROX
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A fundamental goal of computational complexity (and foundations of cryptography) is to find a polynomial-time samplable distribution (e.g., the uniform distribution) and...