4224 search results - page 165 / 845 » Reasoning about Choice |
261
click to vote
ASE
1998
15 years 6 months ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
182
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
148
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
196
click to vote
AAMAS
2000
Springer
15 years 6 months ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...
145
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
The simplicity of HTTP was a major factor in the success of the Web. However, as both the protocol and its uses have evolved, HTTP has grown complex. This complexity results in nu...