Sciweavers

3504 search results - page 241 / 701
» Computational Aspects of Equilibria
Sort
View
CHI
2009
ACM
16 years 7 months ago
The reign of catz & dogz at CHI 2009
tendees. Extended abstracts ranging from three to four pages in length can be submitted on any relevant topic. Papers will be accepted based on the quality of research and potentia...
Shaun Lawson, Thomas Chesney
CHI
2008
ACM
16 years 7 months ago
Accountabilities of presence: reframing location-based systems
How do mobility and presence feature as aspects of social life? Using a case study of paroled offenders tracked via Global Positioning System (GPS), we explore the ways that locat...
Emily Troshynski, Charlotte P. Lee, Paul Dourish
CHI
2008
ACM
16 years 7 months ago
Collaboration-oriented design of disaster response system
It is of the utmost importance, we argue, to specifically tailor disaster response systems with users' collaboration in mind. Such an approach, building on top of, and extend...
Lucy T. Gunawan
CHI
2007
ACM
16 years 7 months ago
Back stage on the front lines: perspectives and performance in the combat information center
While tactical command. control and communication environments might appear to be entirely instrumental in nature, they nevertheless provide a setting for social interaction. This...
Paul M. Aoki
CADE
2004
Springer
16 years 7 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang