Sciweavers

2618 search results - page 232 / 524
» Natural Human-Robot Interaction
Sort
View
CHI
2003
ACM
16 years 7 months ago
Wan2tlk?: everyday text messaging
Texting--using a mobile phone to send text messages--has become a form of mass communication. Building on studies that described how British teenagers have incorporated text messa...
Rebecca E. Grinter, Margery Eldridge
ICFP
2008
ACM
16 years 6 months ago
Pattern minimization problems over recursive data types
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
Alexander Krauss
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 1 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
ACMSE
2009
ACM
16 years 1 months ago
AVARI: animated virtual agent retrieving information
Avari is a virtual receptionist for the Computer Science department at The University of North Carolina at Charlotte. Her components include background subtraction to detect a per...
Lauren Cairco, Dale-Marie Wilson, Vicky Fowler, Mo...
MMSP
2008
IEEE
117views Multimedia» more  MMSP 2008»
16 years 1 months ago
Vibrotactile jacket for perception enhancement
—By nature, human beings perceive their environment mostly using sight and audition. Vibrotactile feedback has proven satisfying results in the domains of simple multimodal inter...
Sylvain Cardin, Daniel Thalmann