Sciweavers

1983 search results - page 179 / 397
» User Interface Modelling with UML
Sort
View
TACAS
2004
Springer
127views Algorithms» more  TACAS 2004»
15 years 9 months ago
MetaGame: An Animation Tool for Model-Checking Games
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
Markus Müller-Olm, Haiseung Yoo
104
Voted
3DIM
2005
IEEE
15 years 9 months ago
Virtual Clay Modeling System Using Multi-Viewpoint Images
This paper proposes a “non-contact virtual clay modeling interface.” We developed a prototype of a three-dimensional modeling system that allows the user to deform the “virt...
Etsuko Ueda, Yoshio Matsumoto, Tsukasa Ogasawara
VMV
2008
197views Visualization» more  VMV 2008»
15 years 5 months ago
1-2-tree: Semantic Modeling and Editing of Trees
In computer graphics, procedural methods and Lsystems are common approaches to model complex botanical trees. In contrast to previous tree modeling systems, we propose linking rul...
Björn Ganster, Reinhard Klein
CHI
2007
ACM
16 years 4 months ago
Modeling steering within above-the-surface interaction layers
Interaction techniques that utilize the space above the display surface to extend the functionalities of digitized surfaces continue to emerge. In such techniques, movements are c...
Raghavendra S. Kattinakere, Tovi Grossman, Sriram ...
133
Voted
EICS
2010
ACM
15 years 5 months ago
Service discovery supported by task models
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
Kyriakos Kritikos, Fabio Paternò