3504 search results - page 623 / 701 » Computational Aspects of Equilibria |
239
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
162
click to vote
ASSETS
2006
ACM
16 years 25 days ago
2006
ACM
Mouse control has become a crucial aspect of many modern day computer interactions. This poses a challenge for individuals with motor impairments or those whose use of hands are r...
196
click to vote
IMC
2006
ACM
16 years 25 days ago
2006
ACM
The dynamics of peer participation, or churn, are an inherent property of Peer-to-Peer (P2P) systems and critical for design and evaluation. Accurately characterizing churn requir...
190
click to vote
MM
2006
ACM
16 years 25 days ago
2006
ACM
Recently, interactive image cutout technique becomes prevalent for image segmentation problem due to its easy-to-use nature. However, most existing stroke-based interactive object...
194
click to vote
MM
2006
ACM
16 years 25 days ago
2006
ACM
We present “equiveillance” as a conceptual framework for understanding the balance between surveillance and sousveillance. In addition to this conceptual framework we also pre...