1321 search results - page 225 / 265 » Subtyping in Logical Form |
121
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
133
click to vote
CNL
2009
15 years 5 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
195
click to vote
GG
2010
Springer
15 years 5 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
149
click to vote
DCOSS
2010
Springer
15 years 4 months ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
138
click to vote
BMCBI
2007
15 years 4 months ago
2007
Motivation: The quality of progressive sequence alignments strongly depends on the accuracy of the individual pairwise alignment steps since gaps that are introduced at one step c...