Sciweavers

3149 search results - page 366 / 630
» Users in Context
Sort
View
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 8 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
APVIS
2008
15 years 8 months ago
Pixelplexing: Gaining Display Resolution Through Time
Animation is frequently utilized to visually depict change in timevarying data sets. For this task, it is a natural fit. Yet explicit animation is rarely employed for static data....
James Shearer, Michael Ogawa, Kwan-Liu Ma, Toby Ko...
GRAPHICSINTERFACE
2007
15 years 8 months ago
Location-dependent information appliances for the home
Ethnographic studies of the home revealed the fundamental roles that physical locations and context play in how household members understand and manage conventional information. Y...
Kathryn Elliot, Mark Watson, Carman Neustaedter, S...
GRAPHICSINTERFACE
2008
15 years 8 months ago
Context-controlled flow visualization in augmented reality
A major challenge of novel scientific visualization using Augmented Reality is the accuracy of the user/camera position tracking. Many alternative techniques have been proposed, b...
Mike Eissele, Matthias Kreiser, Thomas Ertl
HCI
2007
15 years 8 months ago
An Adaptive Vision System Toward Implicit Human Computer Interaction
In implicit human computer interaction, computers are required to understand users’ actions and intentions so as to provide proactive services. Visual processing has to detect an...
Peng Dai, Linmi Tao, Xiang Zhang, Ligeng Dong, Gua...