133 search results - page 16 / 27 » hais 2010 |
ICAISC
2010
Springer
13 years 11 months ago
2010
Springer
In this paper, we present arguments for the need of emotion modelling and we define elements for a study in Human-Robot Interaction (HRI) using music. We also propose an adaptatio...
TWC
2010
13 years 4 months ago
2010
A simple figure of merit to describe the performance of an energy detector is desirable. The area under the receiver operating characteristic (ROC) curve, denoted (AUC), is such a ...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...
ICPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Recognizing a person’s motion is intuitive for humans but represents a challenging problem in machine vision. In this paper, we present a multi-disciplinary framework for recogn...
ENTCS
2007
13 years 9 months ago
2007
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...