4224 search results - page 5 / 845 » Reasoning about Choice |
DEON
2008
Springer
13 years 11 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
APLAS
2006
ACM
14 years 3 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
INTELLCOMM
2004
Springer
14 years 3 months ago
2004
Springer
Web prefetching techniques have pointed to be especially important to reduce web latencies and, consequently, an important set of works can be found in the open literature. But, in...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
People display adaptive language behaviors in face-to-face conversations, but will computer users do the same during HCI? We report an experiment (N=20) demonstrating that users&#...
CSL
1999
Springer
14 years 2 months ago
1999
Springer
