1683 search results - page 90 / 337 » Game Theory Basics |
118
Voted
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
120
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Automatic web page segmentation is the basis to adaptive web browsing on mobile devices. It breaks a large page into smaller blocks, in which contents with coherent semantics are ...
136
Voted
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
In the analysis of security protocols, the knowledge of attackers is often described in terms of message deducibility and indistinguishability relations. In this paper, we pursue ...
131
click to vote
FTCIT
2007
15 years 4 months ago
2007
This survey reviews fundamental concepts of multi-user information theory. Starting with typical sequences, the survey builds up knowledge on random coding, binning, superposition...
166
click to vote
KR
1994
Springer
15 years 8 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....