Sciweavers

490 search results - page 49 / 98
» Automated Generalization of Translation Examples
Sort
View
130
Voted
CADE
2005
Springer
16 years 24 days ago
Tabling for Higher-Order Logic Programming
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
Brigitte Pientka
95
Voted
ECSQARU
2007
Springer
15 years 6 months ago
COBA 2.0: A Consistency-Based Belief Change System
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
James P. Delgrande, Daphne H. Liu, Torsten Schaub,...
ICCBR
2003
Springer
15 years 5 months ago
Case Base Management for Analog Circuits Diagnosis Improvement
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...
Carles Pous, Joan Colomer, Joaquím Mel&eacu...
101
Voted
ACL
1992
15 years 1 months ago
Corpus-Based Acquisition of Relative Pronoun Disambiguation Heuristics
This paper presents a corpus-based approach for deriving heuristics to locate the antecedents of relative pronouns. The technique dupficates the performance of hand-coded rules an...
Claire Cardie
GIS
2008
ACM
16 years 1 months ago
Integrating gazetteers and remote sensed imagery
This work explores the potential for increased synergy between gazetteers and high-resolution remote sensed imagery. These two data sources are complementary. Gazetteers provide h...
Shawn Newsam, Yi Yang