2678 search results - page 258 / 536 » Operational Semantics of Transactions |
161
click to vote
ACL
2006
15 years 8 months ago
2006
We present an efficient algorithm for the redundancy elimination problem: Given an underspecified semantic representation (USR) of a scope ambiguity, compute an USR with fewer mut...
159
click to vote
ACL
1997
15 years 8 months ago
1997
We describe a method for interpreting abstract fiat syntactic representations, LFG fstructures, as underspecified semantic representations, here Underspecified Discourse Represent...
184
click to vote
JFPLC
1998
15 years 8 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
209
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
166
click to vote
TOPLAS
2008
15 years 6 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...