273 search results - page 15 / 55 » A Compositional Semantics for Conditional Term Rewriting Sys... |
150
click to vote
UPP
2004
Springer
15 years 9 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...
148
Voted
EACL
1993
ACL Anthology
15 years 5 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...
127
click to vote
EDOC
2006
IEEE
15 years 10 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 ...
157
click to vote
ESSLLI
2009
Springer
15 years 1 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...
227
click to vote
IANDC
2000
15 years 3 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...