1131 search results - page 161 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
PPDP
2000
Springer
15 years 4 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
107
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
107
click to vote
ICDM
2003
IEEE
15 years 5 months ago
2003
IEEE
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have compl...
91
Voted
CIA
2006
Springer
15 years 4 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...