Abstract not found

AbstractÐThe use of the World Wide Web as a communication medium for knowledge engineers and software designers is limited by the lack of tools for writing, sharing, and verifying documents written with design notations. For instance, the Z language has a rich set of mathematical characters, and requires graphic-rich boxes and schemas for structuring a specification document. It is difficult to integrate Z specifications and text on WWW pages written with HTML, and traditional tools are not suited for the task. On the other hand, a newly proposed standard for markup languages, namely XML, allows one to define any set of markup elements; hence, it is suitable for describing any kind of notation. Unfortunately, the proposed standard for rendering XML documents, namely XSL, provides for text-only (although sophisticated) rendering of XML documents, and thus it cannot be used for more complex notations. We present a Java-based tool for applying any notation to elements of XML documents. These XML documents can thus be shown on current-generation WWW browsers with Java capabilities. A complete package for displaying Z specifications has been implemented and integrated with standard text parts. Being a complete rendering engine, text parts and Z specifications can be freely intermixed, and all the standard features of XML (including HTML links and form elements) are available outside and inside Z specifications. Furthermore, the extensibility of our engine allows any additional notations to be supported and integrated with the ones we describe here.

Document image analysis is the study of converting documents from paper form to an electronic form that captures the information content of the document. Necessary processing includes recognition of document layout (to determine reading order, and to distinguish text from diagrams), recognition of text (called Optical Character Recognition, OCR), and processing of diagrams and photographs. The processing of diagrams has been an active research area for several decades. A selection of existing diagram recognition techniques are presented in this paper. Challenging problems in diagram recognition include (1) the great diversity of diagram types, (2) the difficulty of adequately describing the syntax and semantics of diagram notations, and (3) the need to handle imaging noise. Recognition techniques that are discussed include blackboard systems, stochastic grammars, Hidden Markov Models, and graph grammars. 1.

A valid criticism of may innovations in assistive technology is that they have not been evaluated. However, there are obstacles which make this form of technology difficult to evaluate according to conventional paradigms. The reasons behind this are discussed. A particular evaluation which endeavoured to circumvent those problems is described. The item evaluated was Mathtalk, a program to make mathematics accessible to blind people. KEYWORDS: Evaluation, auditory interfaces, earcons, blind people, mathematics. INTRODUCTION Many assistive research and development projects are criticized for their lack of evaluation. It is understandable that people will ask if an innovation is worthwhile then that fact should be demonstrable in some objective manner. In practice, however, there are a number of factors which make such evaluations difficult. There are a number of conditions which make conventional evaluation of assistive technology difficult. These will be discussed in this paper and t...

An information revolution is impacting how companies will operate in the future. Companies are looking for models that they can use to improve organizational efficiency. Early models decomposed organizations into workers and management and ascribed roles to each; newer models such as that by Deming concern themselves with integration of the parts into the context of the outside world. We suggest an analogy to decomposing processes into unit operations which must then be integrated into total processes within the world market, suggesting that, while the words are different, the process design activities may be very similar. Other important chemical engineering concepts such as process control and information transfer appear to be applicable to organizational management as well. After examining management processes and how information flows in a company, we explore different technologies for information management/consolidation, noting how well each permits the gathering, struc...

Some of the novel editing features of the Euromath system are presented.

. The XBibT E X utility provides an X Window interface for inserting entries into a bibliography database in BibT E X format. XBibT E X provides a template of the required and optional fields for each entry type defined by BibT E X. In addition, XBibT E X accommodates two additional entries named "keyword" and "annote" for maintaining an annotated bibliography. The user enters the information to be stored in the database; XBibT E X automatically inserts the entry in the bibliography file in a format that conforms to BibT E X's specifications. We also introduce two related utilities, bibprocess and bibsearch. The first allows one to merge the contents of user-defined fields into a .bbl file produced by BibT E X; the second allows one to retrieve the L a T E X key of publications that contain user-specified keywords. This report contains a users guide as well as installation and customization instructions for XBibT E X, bibprocess, and bibsearch. 1 An Example of How to Use XBibT E X Bib...

This report gives an overview of work done in the `Investigate KBS Support' area of the GMARC project. Major achievements in this area are described, a number of important issues are identified and the relevance of these issues to the development of a knowledge-based tool to support use of the GMARC are discussed. 2 1 Introduction 1.1 Objectives This report is the final deliverable of the GMARC project work package WP44. It is the last in a series of four documents intended to result from the `Investigate KBS support' work area. The first of these documents, R41 [BJT + 91], presented a review of a number of approaches to providing knowledge-based support for requirements elicitation. The second, R42 [BJT + 92a], proposed an approach to the provision of knowledge-based support for requirements elicitation and specification. In this approach, networks of domain knowledge may be used and reused to create formal requirements models for a variety of systems in the domain of inte...

Abstract not found