4224 search results - page 553 / 845 » Reasoning about Choice |
192
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
There are many on-line settings in which users publicly express opinions. A number of these offer mechanisms for other users to evaluate these opinions; a canonical example is Ama...
293
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
309
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
161
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
To contribute to systems that reason about human attention, our work empirically demonstrates how a user's mental workload changes during task execution. We conducted a study...
303
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...