562 search results - page 62 / 113 » Dependency Pairs Revisited |
120
click to vote
APPROX
2009
Springer
15 years 8 months ago
2009
Springer
We consider adding k shortcut edges (i.e. edges of small fixed length δ ≥ 0) to a graph so as to minimize the weighted average shortest path distance over all pairs of vertices...
113
click to vote
RTA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
120
click to vote
VL
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
111
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
104
click to vote
ECAL
2005
Springer
15 years 7 months ago
2005
Springer
The complexity, variation, and change of human languages makes evident the importance of representation and learning in the acquisition and evolution of language. For example, anal...