15754 search results - page 88 / 3151 » Programs are Knowledge Bases |
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
149
click to vote
AAAI
2000
15 years 7 months ago
2000
With the growth of on-line information, the need for better resource location services is growing rapidly. A popular goal is to conduct search in terms of concepts, rather than wo...
149
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
143
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...