511 search results - page 42 / 103 » Automatically Generating User Interfaces for Device Federati... |
Publication
We present an audiovisual creativity tool that automatically recognizes facial expressions in real time, producing sounds in combination with images. The facial expression recognit...
ICAT
2003
IEEE
15 years 3 months ago
2003
IEEE
The Food Simulator is a haptic interface that presents biting force. A taste of food arises from mixture of chemical, auditory, olfactory and haptic sensation. Haptic sensation wh...
TEI
2010
ACM
15 years 4 months ago
2010
ACM
SMS messages provide an easy and simple method to communicate with others. These short messages are useful, but can sometimes feel restricted due to the limitations of textual com...
153
click to vote
FROCOS
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
GROUP
2005
ACM
15 years 3 months ago
2005
ACM
In this paper FrameDrops is presented. FrameDrops is a mobile VideoBlog—it allows users to capture videos and pictures on the move with modern mobile phones, and to send these d...