19 search results - page 2 / 4 » The Computability Path Ordering: The End of a Quest |
BIRTHDAY
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...
TCOM
2010
12 years 11 months ago
2010
Abstract--In order to release the growing demand for computational complexity with respect to increasing information sequence length in the priority-first search decoding algorithm...
ALGORITHMICA
2011
12 years 11 months ago
2011
Let V be a set of points in a d-dimensional lp-metric space. Let s, t ∈ V and let L be any real number. An L-bounded leg path from s to t is an ordered set of points which conne...
ICMCS
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper presents a new routing strategy, that selects the best network paths in an overlay network, in order to minimize the distortion perceived by the end user. We first pro...
IROS
2006
IEEE
13 years 10 months ago
2006
IEEE
— Mineral fertilizers application is an agricultural task widely performed by centrifugal spreaders. These machines give satisfying results with regularly spaced parallel tractor...