273 search results - page 15 / 55 » A Compositional Semantics for Conditional Term Rewriting Sys... |
109
click to vote
UPP
2004
Springer
15 years 5 months ago
2004
Springer
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
105
Voted
EACL
1993
ACL Anthology
15 years 1 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
113
click to vote
ESSLLI
2009
Springer
14 years 9 months ago
2009
Springer
The polynomial path order (POP for short) is a termination method that induces polynomial bounds on the innermost runtime complexity of term rewrite systems (TRSs for short). Seman...
81
Voted
IANDC
2000
14 years 11 months ago
2000
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...