3937 search results - page 482 / 788 » Questioning Ubiquitous Computing |
119
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
Abstract—Hala is a bilingual (Arabic and English) culturallysensitive robot receptionist located at Carnegie Mellon University in Qatar. We report results from Hala’s deploymen...
177
click to vote
AFRICACRYPT
2010
Springer
16 years 1 months ago
2010
Springer
This paper describes an implementation of Pollard’s rho algorithm to compute the elliptic curve discrete logarithm for the Synergistic Processor Elements of the Cell Broadband En...
144
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...
171
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a new kind of tree automaton, a dependency tree automaton, that is suitable for deciding properties of classes of terms with binding. Two kinds of such automaton are d...
153
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of ...