1284 search results - page 81 / 257 » On Helping and Interactive Proof Systems |
CADE
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
CONCUR
2010
Springer
14 years 9 days ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
GIS
2008
ACM
14 years 8 days ago
2008
ACM
We describe a prototype software system for investigating novel human-computer interaction techniques for 3-D geospatial data. This system, M4-Geo (Multi-Modal Mesh Manipulation o...
DSVIS
2000
Springer
14 years 3 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...
AH
2006
Springer
14 years 5 months ago
2006
Springer
Current adaptive systems acquire information about users mainly by simple tracking of resources, a user has requested and by asking users to supply the needed information. In this ...