300 search results - page 35 / 60 » Using probabilistic reasoning to automate software tuning |
104
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
Managing large-scale software projects involves a number of activities such as viewpoint extraction, feature detection, and requirements management, all of which require a human a...
108
click to vote
WILF
2005
Springer
15 years 6 months ago
2005
Springer
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
108
Voted
LOPSTR
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
190
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
86
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawaren...