Lime is a music editor, oriented to the production of printed music. A user manipulates the information content of the music notation, while viewing the physical appearance of the notation. To implement this, Lime must perform a complex translation from an abstract musical source representation to a graphical product. Techniques are discussed for providing automation without loss of customizabi...

-An electronic information system for storing, transmitting, receiving and displaying electrical circuit schematics is presented. The schematics are binary coded for computer storage and for transmission over telephone grade communications lines. A complete schematic can be transmitted in a matter of a few seconds with no degradation in the image quality. A standard set of schematic symbols and...

§0. Introduction §1. The Étale Integral Structure on the Universal Extension §2. The Étale Integral Structure for an Ordinary Elliptic Curve §2.1. Some p-adic Function Theory §2.2. The Verschiebung Morphism §3. Compactified Hodge Torsors §4. The Étale Integral Structure on the Hodge Torsors §4.1. Notation and Set-Up §4.2. Degenerating Elliptic Curves §4.3. Ordinary Elliptic Curves §4.4. The Gen...

The advent of high-end miniature technology, together with the increasing availability of large scale digital geographic data products, has created a demand for techniques and methodologies that assist in the automated generation of maps specifically tailored to mobile GIS applications. This paper concerns itself with the problem of automatic generation of schematic maps. Schematic maps are dia...

Summary: PDZBase is a database that aims to contain all known PDZ-domain-mediated protein–protein interactions. Currently, PDZBase contains approximately 300 such interactions, which have been manually extracted from >200 articles. The database can be queried through both sequence motif and keyword-based searches, and the sequences of interacting proteins can be visually inspected through align...

We describe a hierarchical structure for a knowledge-based analog circuit synthesis tool. Analog circuit topologies are represented as a hierarchy of abstract functional blocks each with associated design knowledge. We also describe mechanisms to select from among alternate design styles, and to translate performance specifications from one level in the hierarchy to the next lower level. A prot...

This paper describes work in progress at Oxford Brookes University. The aim of the project is to define a higher-level diagram description language for the World Wide Web, which captures the structure and the semantics of a diagram and enables the generation of accessible presentations in different modalities such as speech, text, graphic, etc. This project, called Graphical Structure Semantic ...

A formal consideration in this paper is given for the essential notations to characterize the object that is distinguished in a problem domain. The distinct object is represented by another idealized object, which is a schematic element. When the existence of an element is significant, then a class of these partial elements is dropped down into actual, potential and virtual objects. The potenti...

This demonstration paper introduces GenieTutor a computer assisted secondlanguage learning system using spoken dialog processing technology. GenieTutor plays the role of a language (English at present) tutor by automatically correcting grammar and checking content properness of the learners’ responses, and giving educational feedbacks to learners. The speech recognition system is optimized for ...