Sciweavers

213 search results - page 18 / 43
» diagrams 2004
Sort
View
DIAGRAMS
2004
Springer
13 years 11 months ago
Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics
The rapidly increasing availability of electronic publications containing information graphics poses some interesting challenges in terms of information access. For example, visual...
Stephanie Elzer, Nancy Green, Sandra Carberry, Jam...
ICFEM
2004
Springer
14 years 27 days ago
Formal Proof from UML Models
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
Nuno Amálio, Susan Stepney, Fiona Polack
CAGD
2004
63views more  CAGD 2004»
13 years 7 months ago
Inflection points and singularities on C-curves
We show that all so-called C-curves are affine images of trochoids or sine curves and use this relation to investigate the occurrence of inflection points, cusps, and loops. The re...
Qinmin Yang, Guozhao Wang
ACSC
2004
IEEE
13 years 11 months ago
Formalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
S. Jansamak, A. Surarerks
DIAGRAMS
2004
Springer
14 years 28 days ago
Predictors of Success in Diagrammatic Problem Solving
Abstract. We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected an...
Daesub Yoon, N. Hari Narayanan