2688 search results - page 373 / 538 » A formal semantics for P3P |
189
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
169
click to vote
SWAP
2008
15 years 8 months ago
2008
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents (a subset of) the aspects relevant to the a...
165
click to vote
SPIESR
2004
15 years 8 months ago
2004
In this paper a novel "Smart Media" concept for semantic-based multimedia security and management is proposed. This concept is based on interactive object segmentation (...
145
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The paper presents a computational theory for resolving Japanese zero anaphora, based on the notion of discourse segment. We see that the discourse segment reduces the domain of a...
153
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...