4224 search results - page 5 / 845 » Reasoning about Choice |
91
Voted
DEON
2008
Springer
15 years 2 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...
111
Voted
APLAS
2006
ACM
15 years 6 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...
93
Voted
INTELLCOMM
2004
Springer
15 years 5 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
16 years 22 days 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&#...
92
Voted
CSL
1999
Springer
15 years 4 months ago
1999
Springer
