6357 search results - page 634 / 1272 » An Interactive Interface for Lighting-by-Example |
200
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
177
click to vote
DSVIS
2000
Springer
15 years 11 months ago
2000
Springer
This article proposes a framework that will help analyze current and future output multimodal user interfaces. We first define an output multimodal system. We then present our fram...
192
click to vote
CHI
1999
ACM
15 years 11 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...
145
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
This paper presents a set of techniques for supporting autonomous collaboration—collaboration where participants work independently for periods, and then join together to integr...
155
click to vote
CCS
1997
ACM
15 years 11 months ago
1997
ACM
Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...