1849 search results - page 117 / 370 » Intelligent Expressions of Emotions |
158
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
We discuss methods for dealing effectively with let-bindings in proofs. Our contribution is a small set of unconditional rewrite rules, found by the bracket abstraction translatio...
151
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
ion of Representation in Live Theater PPPPETERETERETERETER TTTTORPEYORPEYORPEYORPEY Opera of the Future, MIT Media Lab Disembodied Performance presents a new way to think about exp...
183
click to vote
IJMMS
2010
15 years 4 months ago
2010
Daily health self-management, such as the harmonization of food, exercise and medication, is a major problem for a large group of older adults with obesity or diabetics. Computer-...
177
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Recently, a variety of workflow patterns has been proposed focusing on specific aspects like control flow, data flow, and resource assignments. Though these patterns are relevant f...
163
click to vote
IAJIT
2010
15 years 5 months ago
2010
: In this paper we propose a novel approach for searching eCommerce products using a mobile phone, illustrated by a prototype eCoMobile. This approach aims to globalize the mobile ...