396 search results - page 62 / 80 » Embodied Computation |
252
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
125
Voted
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...
127
click to vote
HRI
2010
ACM
15 years 8 months ago
2010
ACM
—Nonverbal behaviors serve as a rich source of information in inter human communication. In particular, motion cues can reveal details on a person’s current physical and mental...
104
click to vote
HRI
2009
ACM
15 years 8 months ago
2009
ACM
An ongoing issue in human robot interaction (HRI) is how people and robots communicate with one another. While there is considerable work in real-time human-robot communication, f...
119
click to vote
PERSUASIVE
2009
Springer
15 years 8 months ago
2009
Springer
We present an empirical study of the effect of a computer agent designed to engage a user in a persuasive counseling dialogue on attitudes towards regular exercise. We used two ma...