2373 search results - page 229 / 475 » On the Theory of Structural Subtyping |
159
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
In the paper it is argued that for some linguistic phenomena, current discourse representation structures are insufficiently finegrained, both from the perspective of serving as r...
147
click to vote
COLING
1996
15 years 8 months ago
1996
Unification-based theories of grammar allow to integrate different levels of linguistic descriptions in the common framework of typed feature structures. Dependencies among the le...
181
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
205
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-- This paper introduces a novel concept from coalitional game theory which allows the dynamic formation of coalitions among wireless nodes. A simple and distributed merge ...
153
click to vote
ENTCS
2008
15 years 6 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...