11 search results - page 1 / 3 » HORPO with Computability Closure : A Reconstruction |
LPAR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...
PROPERTYTESTING
2010
13 years 2 months ago
2010
We survey results on transitive-closure spanners and their applications. Given a directed graph G = (V, E) and an integer k 1, a k-transitive-closure-spanner (k-TC-spanner) of G ...
APPROX
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Given a directed graph G = (V, E) and an integer k 1, a ktransitive-closure-spanner (k-TC-spanner) of G is a directed graph H = (V, EH ) that has (1) the same transitive...
BMVC
1996
13 years 6 months ago
1996
This paperdescribes initial work on a family of projectivereconstructiontechniques that extract projection matrices directly and linearly from matching tensors estimated from imag...