411 search results - page 19 / 83 » Automating the Dependency Pair Method |
KI
2005
Springer
14 years 3 months ago
2005
Springer
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
AMTA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Existing automated MT evaluation methods often require expert human translations. These are produced for every language pair evaluated and, due to this expense, subsequen...
CICLING
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The development of a syntactic textual entailment system that compares the dependency relations in both the text and the hypothesis has been reported. The Stanford Depend...
JMLR
2011
13 years 4 months ago
2011
A strong inductive bias is essential in unsupervised grammar induction. In this paper, we explore a particular sparsity bias in dependency grammars that encourages a small number ...