734 search results - page 5 / 147 » Narrowing the Narrowing Space |
WRLA
2010
13 years 6 months ago
2010
Abstract. If a set of equations E∪Ax is such that E is confluent, terminating, and coherent modulo Ax, narrowing with E modulo Ax provides a complete E∪Ax-unification algorit...
SIAMDM
2008
13 years 7 months ago
2008
We give exact expressions for the number of coset leaders in the cosets of weight 4 of binary primitive narrow sense Bose
JFLP
2002
13 years 7 months ago
2002
In this paper we extend the lazy narrowing calculus lnc of Middeldorp, Okui, and Ida [26] to conditional rewrite systems. The resulting lazy conditional narrowing calculus lcnc is...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— We present a new retraction algorithm for high DOF articulated models and use our algorithm to improve the performance of RRT planners in narrow passages. The retraction step i...
EUROCAST
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...