4074 search results - page 385 / 815 » Abstract Graph Transformation |
159
click to vote
FROCOS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
205
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
151
click to vote
IJCNLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...
159
click to vote
INDOCRYPT
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper, we propose a new variant of the NTRU public key cryptosystem − the MaTRU cryptosystem. MaTRU works under the same general principles as the NTRU cryptosy...
149
click to vote
WDAG
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The obstruction-free progress condition is weaker than previous nonblocking progress conditions such as lock-freedom and waitfreedom, and admits simpler implementations t...