300 search results - page 16 / 60 » Using probabilistic reasoning to automate software tuning |
CL
2006
Springer
14 years 9 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
106
click to vote
KR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
ICML
2000
IEEE
15 years 10 months ago
2000
IEEE
Decision-theoretic reasoning and planning algorithms are increasingly being used for mobile robot navigation, due to the signi cant uncertainty accompanying the robots' perce...
FLOPS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
CL
2004
Springer
14 years 9 months ago
2004
Springer
Evolving and maintaining software requires adequate documentation of its implementation. However, due to the software's constant evolution, the documentation and implementati...