2688 search results - page 145 / 538 » A formal semantics for P3P |
150
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
188
click to vote
DLOG
2008
15 years 8 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
177
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The derivation trees of a tree adjoining grammar provide a first insight into the sentence semantics, and are thus prime targets for generation systems. We define a formalism, fea...
159
click to vote
ACL
2010
15 years 4 months ago
2010
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
151
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...