1536 search results - page 261 / 308 » The Underlying Logic of Hoare Logic |
142
click to vote
EACL
1993
ACL Anthology
15 years 7 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...
187
click to vote
AAAI
1990
15 years 7 months ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
190
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...
221
click to vote
GG
2010
Springer
15 years 7 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 ...
152
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
In this work we present a middleware architecture for a mobile peer-to-peer content distribution system. Our architecture allows wireless content dissemination between mobile node...