1615 search results - page 207 / 323 » Dark application communities |
158
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Authentic practice in science requires access to phenomena. In this paper, we introduce RoomQuake, an application designed to foster the growth of a community of learning around s...
166
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Instant Messaging (IM) is a popular chatting platform on the internet and increasingly permeates teenage life. Even intimate and emotional content is discussed. As touch is a powe...
164
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
The majority of systems using public displays to foster awareness have focused on providing information across remote locations or among people who are loosely connected and lack ...
176
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
160
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...