562 search results - page 87 / 113 » Dependency Pairs Revisited |
104
click to vote
AISC
2008
Springer
15 years 1 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
101
click to vote
ASWC
2008
Springer
15 years 1 months ago
2008
Springer
As an important step towards bootstrapping the Semantic Web, many efforts have been made to extract triples from Wikipedia because of its wide coverage, good organization and rich ...
ACL
2007
15 years 1 months ago
2007
Most current machine transliteration systems employ a corpus of known sourcetarget word pairs to train their system, and typically evaluate their systems on a similar corpus. In t...
ACL
2008
15 years 1 months ago
2008
Yawat1 is a tool for the visualization and manipulation of word- and phrase-level alignments of parallel text. Unlike most other tools for manual word alignment, it relies on dyna...
DAGSTUHL
2007
15 years 1 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...