869 search results - page 55 / 174 » A Modelling Method and User Interface for Creating Plants |
ICSE
1999
IEEE-ACM
14 years 29 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
AVI
2006
13 years 10 months ago
2006
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...
ACMACE
2007
ACM
14 years 21 days ago
2007
ACM
In screen-based experiences, the screen itself can become the physical device used for interaction. The "move-ability" of the screen affords interactivity between the sc...
HT
2010
ACM
13 years 10 months ago
2010
ACM
In this paper we are interested in describing Web pages by how users interact within their contents. Thus, an alternate but complementary way of labelling and classifying Web docu...
ICCHP
1994
Springer
14 years 24 days ago
1994
Springer
This paper describes work in progress on automatic generation of "impact sounds" based on physical modelling. These sounds can be used as non-speech audio presentation of...