6874 search results - page 1231 / 1375 » The future of human-computer interaction |
135
click to vote
CSCWD
2005
Springer
15 years 11 months ago
2005
Springer
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...
151
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
161
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
133
click to vote
HUC
2005
Springer
15 years 11 months ago
2005
Springer
The paper reports the results of the first stage of our work on an automatic dietary monitoring system. The work is part of a large European project on using ubiquitous systems to...
157
click to vote
HUC
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents Treasure, an outdoor mobile multiplayer game inspired by Weiser’s notion of seams, gaps and breaks in different media. Playing Treasure involves movement in a...