4325 search results - page 448 / 865 » Incremental computation with names |
123
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...
207
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
158
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents implementation results of a reconfigurable elliptic curve processor defined over prime fields GF(p). We use this processor to compare a new algorit...
160
click to vote
CTRSA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Fault Analysis is a powerful cryptanalytic technique that enables to break cryptographic implementations embedded in portable devices more efficiently than any other tech...
194
click to vote
QSHINE
2009
IEEE
16 years 1 months ago
2009
IEEE
In 2003, we presented an architecture for a streaming video quality assessment system [1]. Six years later, many of the challenges outlined in that paper remain. This paper revisit...