5104 search results - page 436 / 1021 » The Visual Interaction Platform |
200
click to vote
CHI
1999
ACM
15 years 12 months ago
1999
ACM
Mobile workers need seamless access to communication and information services on portable devices. However current solutions overwhelm users with intrusive and ambiguous notificat...
224
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
187
click to vote
AAI
2010
15 years 7 months ago
2010
We discuss issues in designing virtual humans for applications which require long-term voluntary use, and the problem of maintaining engagement with users over time. Concepts and t...
193
click to vote
PUC
2006
15 years 7 months ago
2006
Abstract. The Stanford Event Heap has been shown to provide appropriate support for constructing interactive workspace applications. Given this success it is natural to consider th...
158
click to vote
ISWC
2002
IEEE
16 years 17 days ago
2002
IEEE
We present a menu interface designed primarily for headworn displays that have a small field-of-view. To support interaction with a hierarchical menu, we logically divide an absol...