1508 search results - page 158 / 302 » A Combination Method for Generating Interpolants |
151
click to vote
UAI
2003
15 years 7 months ago
2003
In this paper, we provide new complexity results for algorithms that learn discrete-variable Bayesian networks from data. Our results apply whenever the learning algorithm uses a ...
196
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
The use of Bayesian networks for classification problems has received significant recent attention. Although computationally efficient, the standard maximum likelihood learning me...
180
click to vote
JAIR
1998
15 years 6 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
156
click to vote
WIOPT
2010
IEEE
15 years 4 months ago
2010
IEEE
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
262
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
—The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intui...