10916 search results - page 1897 / 2184 » On Constructive Connectives and Systems |
156
click to vote
ATAL
2004
Springer
16 years 3 days ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
159
click to vote
BIRTHDAY
2004
Springer
16 years 3 days ago
2004
Springer
The ‚Nietzsche-Thesaurus’ ist part of an Internet-Portal to the German philosopher Friedrich Nietzsche (under construction). By using the complex Index of a Citation Lexicon (...
170
click to vote
CASSIS
2004
Springer
16 years 3 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
198
click to vote
CC
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
156
click to vote
COCO
2004
Springer
16 years 2 days ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...