218 search results - page 25 / 44 » Formal Analysis and Automatic Generation of User Interfaces:... |
STTT
2008
13 years 7 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
CIVR
2004
Springer
14 years 1 months ago
2004
Springer
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
In this paper, we present a semi-automatic approach to efficiently and robustly recover the characteristic feature curves of a given free-form surface. The technique supports a s...
MM
2004
ACM
14 years 1 months ago
2004
ACM
Advanced human computer interaction requires automatic reading of human face in order to make the computer interact with human in the same way as human-to-human communication. We ...
VRML
1999
ACM
13 years 12 months ago
1999
ACM
VRML is a file format for the description of dynamic scene graphs containing 3D objects with their visual appearance, multimedia content, an event model, and scripting capabilitie...