903 search results - page 98 / 181 » Completeness Results for Memory Logics |
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
We propose a new implementation scheme for XML transformation languages through derivation of stream processors. Most of XML transformation languages are implemented as tree manipu...
POPL
2000
ACM
14 years 1 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
CLIMA
2010
13 years 10 months ago
2010
The paper considers interdependencies between secrets in a multiparty system. Each secret is assumed to be known only to a certain fixed set of parties. These sets can be viewed as...
AAAI
1994
13 years 10 months ago
1994
or untagged treebanks. ' When trained on an untagged This paper presents a method for constructing deterministic Prolog parsers from corpora of parsed sentences. Our approach ...
WCE
2007
13 years 10 months ago
2007
—In this paper, a fuzzy estimator based on the Smith predictor for a time-delayed system is proposed. The purpose of this work is to predict the unknown plant time-delay by using...