15754 search results - page 88 / 3151 » Programs are Knowledge Bases |
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
114
Voted
CIKM
1993
Springer
15 years 8 months ago
1993
Springer
122
Voted
AAAI
2000
15 years 5 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...
123
Voted
CORR
2004
Springer
15 years 3 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...
114
Voted
KBSE
2003
IEEE
15 years 9 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 ...