5638 search results - page 293 / 1128 » On presence |
172
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
152
click to vote
ICIAP
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we present an overview of the historical evolution of connected component labeling algorithms, and in particular the ones applied on images stored in raster scan orde...
145
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Instant messaging allows users to exchange presence and availability information, and to have spontaneous online conversations. We report on a study of account sharing in IM, and ...
159
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
People tinker, hack, fix, reuse, and assemble materials in creative and unexpected ways, often codifying and sharing their production process with others. Do-ityourself (DIY) enco...
165
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
A first-person view is often used in games to enhance players' sense of presence. Camera movements are added to provide a walking sensation when the player is moving around. ...