2715 search results - page 3 / 543 » An Implementation of Narrowing Strategies |
ENTCS
2007
13 years 7 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
PLILP
1993
Springer
13 years 11 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
ICLP
1997
Springer
13 years 11 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
117
click to vote
Tutorial
An easy to follow tutorial that covers the implementation details of the Narrow Band Level Set Method. It also covers the numerical approximation for PDEs governing different types...
EPIA
2009
Springer
14 years 2 months ago
2009
Springer
Different types of visual object categories can be found in real-world applications. Some categories are very heterogeneous in terms of local features (broad categories) while oth...