Sciweavers

1541 search results - page 272 / 309
» Interaction Analysis in Aspect-Oriented Models
Sort
View
IROS
2009
IEEE
162views Robotics» more  IROS 2009»
14 years 2 months ago
Novel mechanical design of biped robot SHERPA using 2 DOF cable differential modular joints
— This paper discusses the mechanical kinematics solutions and design aspects of the biped robot SHERPA, a bipedal platform able to walk and carry load. Starting from the analysi...
Ionut Mihai Constantin Olaru, Sébastien Kru...
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
14 years 2 months ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng
ICMI
2009
Springer
125views Biometrics» more  ICMI 2009»
14 years 2 months ago
Speaker change detection with privacy-preserving audio cues
In this paper we investigate a set of privacy-sensitive audio features for speaker change detection (SCD) in multiparty conversations. These features are based on three different...
Sree Hari Krishnan Parthasarathi, Mathew Magimai-D...
ICMI
2009
Springer
123views Biometrics» more  ICMI 2009»
14 years 2 months ago
Learning and predicting multimodal daily life patterns from cell phones
In this paper, we investigate the multimodal nature of cell phone data in terms of discovering recurrent and rich patterns in people’s lives. We present a method that can discov...
Katayoun Farrahi, Daniel Gatica-Perez
PETRA
2009
ACM
14 years 2 months ago
Design and prototype of a device to engage cognitively disabled older adults in visual artwork
We investigate technological solutions for arts therapists who work with older adults with cognitive disabilities, such as Alzheimer’s disease. We present ethnographic analysis ...
Scott Blunsden, Brandi Richards, Jennifer Boger, A...