Sciweavers

2152 search results - page 356 / 431
» The user interface as an agent environment
Sort
View
CIKM
2001
Springer
15 years 10 months ago
Tempus Fugit: A System for Making Semantic Connections
Tempus Fugit (“Time Flies”) is the first of a new generation of Personal Information Management (PIM) systems. A PIM system incorporates an electronic calendar, “to-do” li...
Daniel Alexander Ford, Joann Ruvolo, Stefan Edlund...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 11 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
CHI
2004
ACM
16 years 6 months ago
Context-sensitive design and human-centered interactive systems
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...
Keiichi Sato, Ken Douros
CHI
2002
ACM
16 years 6 months ago
Kinesthetic cues aid spatial memory
We are interested in building and evaluating human computer interfaces that make information more memorable. Psychology research informs us that humans access memories through cue...
Desney S. Tan, Randy F. Pausch, Jeanine Stefanucci...
CHI
2010
ACM
16 years 1 months ago
How to support designers in getting hold of the immaterial material of software
When designing novel GUI controls, interaction designers are challenged by the “immaterial” materiality of the digital domain; they lack tools that effectively support a refle...
Fatih Kursat Ozenc, Miso Kim, John Zimmerman, Step...