24188 search results - page 4531 / 4838 » Computing on Encrypted Data |
154
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This paper reports the preliminary results of a humanrobot dialogue analysis in the real world with the goal of understanding users' interaction patterns. We analyzed the dia...
190
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Slit-tear visualizations allow users to selectively visualize pixel paths in a video scene. The slit-tear visualization technique is a generalization of the traditional photograph...
141
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Current state-of?the-art spoken dialog systems are aimed at handling telephone calls to automate incoming caller requests. In this paper we explore a scenario which is symmetric t...
184
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Because data races represent a hard-to-manage class of errors in concurrent programs, numerous approaches to detect them have been proposed and evaluated. We specifically consider...
213
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...