304 search results - page 4 / 61 » A Multi-Context System Computing Modalities |
CHI
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we describe the design of a relational agent interface for handheld computers and the results of a study exploring the effectiveness of different useragent interacti...
ICMI
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we describe the concept of a new modality for interaction with digital maps. We propose using inclination as a means for panning maps on a mobile computing device, ...
TABLEAUX
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
We present a new interaction technique for large directtouch displays called Modal Spaces. Modal interfaces require the user to keep track of the state of the system. The Modal Sp...
CSL
2005
Springer
14 years 1 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...