6978 search results - page 1154 / 1396 » On Proofs in System P |
199
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Abstract--The proliferation of wireless-enabled portable computing devices has spurred a growing need for efficient and powerful networking protocols. The key challenge in the deve...
163
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
We present FEMine, an automatic system for image-based gene expression analysis. We perform experiments on the largest publicly available collection of Drosophila ISH (in situ hyb...
186
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
The initiation of interaction in face-to-face environments is a gradual process, and takes place in a rich information landscape of awareness, attention, and social signals. One o...
162
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Individuals with cognitive deficits and their families are prime examples of collaborative "systems" that seek to perform everyday tasks together. Yet there has been lit...
166
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We present an experimental study of automatic camera control in the performance of collaborative remote repair tasks using video-mediated communication. Twelve pairs of participan...