3228 search results - page 282 / 646 » Computationally Sound Proofs |
138
click to vote
CHI
1997
ACM
15 years 8 months ago
1997
ACM
measured together with upper-body and hand motion. This data would be used to create a truly “immersive”, tetherless musical environment, where any kind of body motion would be...
101
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
We describe artificial subtle expressions (ASEs) as intuitive notification methodology for artifacts' internal states for users. We prepared two types of audio ASEs; one was ...
157
click to vote
KRDB
2003
15 years 6 months ago
2003
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...
129
click to vote
JNW
2008
15 years 4 months ago
2008
We studied the possibility of using wireless sensor networks for vehicle identification in a large open field. This is exciting research in that it not only presents a challenge bu...
112
click to vote
HCI
2009
15 years 2 months ago
2009
This paper describes a system called DiamondTheater that supports creative activities in theater using a tabletop tangible interface. This system is used to aid in the planning of ...