4767 search results - page 280 / 954 » Structures for Abstract Rewriting |
146
click to vote
INAP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
175
click to vote
IVA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Background characters in virtual environments do not require the same amount of processing that is usually required by main characters, however we still want simulation t...
178
click to vote
APLAS
2004
ACM
16 years 20 hour ago
2004
ACM
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...
139
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
123
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose an algorithm for generating all possible generatable r-chunk detectors, which do not cover any elements in self set S. In addition, the algorithm data structur...