Scheduled System Maintenance
On Tuesday, November 20, IEEE Xplore will undergo scheduled maintenance from 3:00–5:00 pm ET.
During this time, there may be intermittent impact on performance. We apologize for any inconvenience.

Proceedings IEEE Workshop on Visual Languages

15-18 Sept. 1992

Filter Results

Displaying Results 1 - 25 of 49
  • A layout tool for Glotos

    Publication Year: 1992, Page(s):273 - 275
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (173 KB)

    Glotos is a visual representation of Lotos, and both are semantically equivalent. In this paper, a Glotos layout tool is described, which takes either the Lotos or the edited Glotos specification as input and generates an aesthetic Glotos layout as output. In both cases, a Glotos syntax tree is created. A bottom-up procedure is then used to calculate the boundary for each Glotos constructor. Final... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A prototype implementation of the CUBE language

    Publication Year: 1992, Page(s):270 - 272
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (257 KB)

    CUBE is a three-dimensional visual, statically typed, inherently concurrent, higher-order logic programming language, aimed towards a virtual reality based programming environment. This paper describes a prototype implementation of CUBE.<<ETX>> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A boundary notation for visual mathematics

    Publication Year: 1992, Page(s):267 - 269
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (284 KB)

    Instead of traditional mathematical notation, one can describe formal mathematical systems in a visual form. While the traditional notation uses a linear sequence of symbols, visual mathematics uses a boundary notation, which is comprised of objects and boundaries to enclose objects. Boundary notation is abstract, decoupling the underlying mathematics of a system from its visual representation. On... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Blush and Zebrackets: large- and small-scale typographical representation of nested associativity

    Publication Year: 1992, Page(s):264 - 266
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (345 KB)

    Two systems are introduced that increase the information density of textual presentation by reconsidering text as pictures, expanding the range of written expression. Both schemes indicate nested associativity and both employ stripes, but in different styles: Blush uses large-scale vertical gutters, superimposed as reverse-fielding on indented outlines of computer programs; Zebrackets uses small-s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model of human approach to describing algorithms using diagrams

    Publication Year: 1992, Page(s):261 - 263
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (293 KB)

    A model of the human approach to describing algorithms is developed by analyzing algorithm descriptions by humans using pen and paper. The authors consider algorithms which are described by drawing data objects on paper and demonstrating a sequence of actions on the data. The model formalizes the abstractness, visibility, and referenceability of objects in the workspace; the 'natural' ways of dete... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual author languages for computer-aided learning

    Publication Year: 1992, Page(s):258 - 260
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (260 KB)

    It would seem that some of the most successful applications of visual programming have been in problem domains that are fairly restrictive and well-defined. It is swiftly becoming realized that the creation of educational courseware is one such domain for which are investment of visual programming effort is amply repaid by the pedagogical benefits. Visual languages in this class range from, at one... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • KJ-Editor: an index-card style tool

    Publication Year: 1992, Page(s):255 - 257
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (293 KB)

    KJ-Editor simulates the arranging activity of index cards on a desk. Such activity is essential for carrying out the so-called KJ method, which is very popular in Japanese business society. The KJ method itself is briefly described. The most serious problem when the card arranging activity is simulated on a computer is how to get a panoramic view of all the cards, and a trial for this problem is p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Plastic visual tools

    Publication Year: 1992, Page(s):252 - 254
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (309 KB)

    A plastic visual system is presented, based on a hierarchy of environments that users can define, refine and use. In each environment, experts build visual expressions specifying activities to be performed at a lower level. The mechanisms exploited to obtain these features are based on uncoupling the organisation of the interface from the definition of its actual components, objects managed by the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An execution model for demonstration-based visual languages

    Publication Year: 1992, Page(s):249 - 251
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (305 KB)

    An abstract execution model for demonstration-based and example-based visual languages is presented. The formalism, causality graphs, are a simplified version of Petri nets, and possess similar execution properties. The author shows how programming, compilation, and execution of demonstration-based languages may be expressed as the construction and analysis of causality graphs. The model provides ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A characterization framework for visual languages

    Publication Year: 1992, Page(s):246 - 248
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (284 KB)

    The general goal of this research is to facilitate the development of visual language environments for the class of visual languages that are based on graph models. The approach the authors take relies on a conceptual framework to define general model components and behaviors; any particular language is defined by selecting and enhancing components and behaviors within the framework. The objective... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards interactive pen input of visual languages

    Publication Year: 1992, Page(s):243 - 245
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (251 KB)

    Describes work in progress towards development of integrated pen-based software systems for processing visual languages (VL). The primary assumption is that graphical input, editing and VL parsing facilities can be treated as system resources to be shared among many applications. Prototypes of a pen-stroke editor, VL parser, and VL-based application are described.<<ETX>> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The conversion of diagrams to knowledge bases

    Publication Year: 1992, Page(s):240 - 242
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (288 KB)

    If future electronic documents are to be truly useful, one must devise ways to automatically turn them into knowledge bases. In particular, one must be able to do this for diagrams. This paper discusses biological diagrams. The author describes the three major aspects of diagrams: visual salience, domain conventions and pragmatics. He next describes the organization of diagrams into informational ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • HIRG: a model for defining hierarchical visual languages

    Publication Year: 1992, Page(s):237 - 239
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (200 KB)

    Addresses the issue of the formal definition of hierarchical visual languages. It is motivated by interest in formal system development and the use of visual languages as formal specification tools. The paper presents a formal model of hierarchical visual languages. This model, called HIRG (hierarchical icon-replacement grammar), is then extended to enable the integration of textual and visual not... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal approach to visual proving based on logic programming

    Publication Year: 1992, Page(s):234 - 236
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (240 KB)

    Gives a general framework for visual proving based on logic programming, by giving a mapping from figures to formulas. For a figure consisting of graphic objects and constraints, the author formally defines the set of facts that are visible in the figure. As a result, one can rigorously formalize the soundness of reasoning by figures.<<ETX>> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual programming abstractions for interactive multimedia presentation authoring

    Publication Year: 1992, Page(s):231 - 233
    Cited by:  Papers (4)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (366 KB)

    Various multimedia authoring environments have been developed, resulting in a variety of approaches as to how such presentations are structured and authored. Implicit in these systems is a data model for composing multimedia objects and a user interface model for the authoring activity. Making these models explicit is one goal of this work, since it will lead to the design of easier-to-use and mor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A spatio-temporal logic for image sequence coding and retrieval

    Publication Year: 1992, Page(s):228 - 230
    Cited by:  Papers (7)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (316 KB)

    The problem of retrieving image sequences from databases is of main importance in the context of advanced multimedia applications. In this paper, an original formalism is proposed for the description of the changes that occur in image sequences. The concepts of temporal logic are extended so as to comprise a unified framework for handling sequences of images.<<ETX>> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Lingua Graphica: a visual language for virtual environments

    Publication Year: 1992, Page(s):225 - 227
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (358 KB)

    Describes work in progress on a visual programming language for virtual environments, called Lingua Graphica. Three-dimensional, solid language constructs are used to visualize and compose programs and higher-level scripts while inside of a virtual environment. This is a departure from the normal way that virtual environments are developed and used. Using Lingua Graphica to specify the behaviors d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An application programmer's interface for a diagram server

    Publication Year: 1992, Page(s):222 - 224
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (343 KB)

    In the last few years, several tools for the automatic drawing of diagrams have been developed. Unfortunately, such tools are often self-contained applications: they manage few layout algorithms and restrict the user interaction to the one the tool is provided with. A wide variety of environments would benefit from the functionalities provided by the above tools. The goal of this paper is to build... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Animation for on-line documents-an end-user system using object-oriented constraints

    Publication Year: 1992, Page(s):219 - 221
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (287 KB)

    CBAD is designed to support mental abstraction of animation sequences and their components, freeing users from the need to deal with graphic representation, or implementation details and requiring no programming expertise. Using a metaphore based on movie directing, one creates animations in CBAD by assigning predefined animation actors with certain tasks. Complex behavior of predefined actors is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tidy animations of tree algorithms

    Publication Year: 1992, Page(s):216 - 218
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (295 KB)

    In software visualization and algorithm animation it is important that advances in system technologies are accompanied by corresponding advances in animation presentations. The authors describe methods for animating three manipulation algorithms, one of the most challenging algorithm animation domains. In particular, they animate operations on pairing heap data structures which are used to impleme... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A 2D interactive parser of iconic languages

    Publication Year: 1992, Page(s):207 - 213
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (613 KB)

    In this paper we give algorithms for the construction of a 2D interactive parser which helps a user to construct correct two-dimensional iconic sentences according to positional LALR grammars. At each step of the parsing process the user is provided with a feasible set of icons. Moreover, the areas on the screen where each icon in the set may be placed are highlighted. In this way both syntactic a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parsing graphs representing two dimensional figures

    Publication Year: 1992, Page(s):200 - 206
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (461 KB)

    Generalized two dimensional context free grammars an extension of context free grammars to two dimensions, is described. This extension is a generalization of Tomita's two dimensional context free grammars (M. Tomita, 1989), and better fits into the families of graph grammars described by Crimi (1990) Relation Grammars and by Flasinski (1988) edNLC Grammars, Figure Grammars are particularly useful... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Earley-style parsing for relational grammars

    Publication Year: 1992, Page(s):192 - 199
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (763 KB)

    Predictive, Earley-style parsing for unrestricted relational grammars faces a number of problems not present in a context-free string grammar counterpart. Here a subclass of unrestricted relational grammars called fringe relational grammars is proposed along with an Earley-style recognition algorithm. The grammar makes use of fringe elements (the minimal and maximal elements of partially ordered s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using 3D spatial relationships for image retrieval by contents

    Publication Year: 1992, Page(s):184 - 190
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (946 KB)

    Iconic environments for querying pictorial databases allow one to express spatial relationships between the objects in the images through appropriate icon positioning. In this paper, a visual environment is presented for image retrieval from a database of real world pictures. The environment differs from the other experiences reported in the literature, since the visual query is performed taking i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An implementation of the VIVA visual language on the NeXT computer

    Publication Year: 1992, Page(s):177 - 183
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (975 KB)

    This paper describes a visual programming environment for image processing implemented on the NeXT computer. It is based upon the visual language VIVA (Visualization of Vision Algorithms). Iconic representations of image processing operations are placed and connected together into dataflow networks in a workbench window. The workbench includes a set of editing tools which facilitate algorithm deve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.