2500 search results - page 348 / 500 » Logical Semantics of Modularisation |
188
click to vote
IDT
2010
15 years 4 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
234
click to vote
ICLP
2011
Springer
14 years 9 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
185
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
252
click to vote
SIGSOFT
2011
ACM
15 years 1 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
163
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
This paper examines E. W. Beth’s work in the philosophy of physics, both from a historical and a systematic point of view. Beth saw the philosophy of physics first of all as an ...