4987 search results - page 13 / 998 » Support Ordered Resolution |
LPAR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
IEEECGIV
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we introduce second order and mixed order partial differential equations (PDEs) for surface blending and present an approximate algorithm for the resolution of the ...
JSAT
2010
14 years 4 months ago
2010
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
ACL
2010
14 years 7 months ago
2010
This paper proposes an approach to reference resolution in situated dialogues by exploiting extra-linguistic information. Recently, investigations of referential behaviours involv...
AIL
2006
14 years 9 months ago
2006
When a conflict of duties arises, a resolution is often sought by determining an ordering of priority or importance. This paper examines how such a conflict resolution works, compa...