6881 search results - page 1133 / 1377 » Motivation |
226
click to vote
JELIA
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
229
click to vote
JIT
2004
Springer
16 years 7 hour ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
178
click to vote
LATIN
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
177
click to vote
LOPSTR
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
176
click to vote
MATES
2004
Springer
16 years 5 hour ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...