997 search results - page 10 / 200 » Completely Lazy Learning |
204
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
105
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
115
Voted
ICML
2006
IEEE
16 years 2 months ago
2006
IEEE
Semi-naive Bayesian classifiers seek to retain the numerous strengths of naive Bayes while reducing error by weakening the attribute independence assumption. Backwards Sequential ...
90
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the design and development of an adaptive planning system using the technology of Web services. The Web-based adaptive planning system consists of two modules t...
144
Voted
LPAR
2012
Springer
13 years 9 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...