Scheduled Maintenance on May 24th, 2018:
IEEE Xplore will undergo system maintenance from 1:30 PM - 3:00 PM ET. During this time there may be intermittent impact on performance. We apologize for any inconvenience.

[Proceedings 1989] IEEE International Workshop on Tools for Artificial Intelligence

23-25 Oct. 1989

Filter Results

Displaying Results 1 - 25 of 92
  • IEEE International Workshop on Tools for Artificial Intelligence. Architectures, Languages and Algorithms

    Publication Year: 1989
    Request permission for commercial reuse | PDF file iconPDF (16 KB)
    Freely Available from IEEE
  • Signal understanding: an artificial intelligence approach to modulation classification

    Publication Year: 1989, Page(s):231 - 236
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB)

    A signal understanding system being developed and evaluated by means of simulation is described. The system consists of a new type of generalized demodulation/feature extraction section followed by a statistical moment generator, and then by a pattern classifier. The classifier is based on neural network topology. An algorithmic maximum-likelihood (ML) pattern classifier was also used to evaluate ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using structural and procedural knowledge in database and knowledge base integration

    Publication Year: 1989, Page(s):407 - 417
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (792 KB)

    Elaborates on an architectural frameworks for the integration of a number of preexisting data repositories. This sort of integration preserves the autonomy of the local applications while providing a uniform and consistent model of access. The authors also propose a modeling facility to simulate the functionalities of the proposed architecture and cope with representation problems stemming from th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Feature extraction from speech spectrograms using multi-layered network models

    Publication Year: 1989, Page(s):224 - 230
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    The authors propose a method for capturing speaker-invariant features from speech spectrograms using artificial neural network (ANN) models. Feature extraction was carried out using the recognition network model, a biologically based pattern recognition system capable of recognizing images that are distorted or shifted in position. It is a three-layer network system. The initial layer of the netwo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A technique for knowledge base verification

    Publication Year: 1989, Page(s):399 - 406
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (696 KB)

    A technique for detecting inconsistencies in, and incompleteness of, a knowledge base is proposed. The technique is based on modeling a knowledge base using a predicate/transition (Pr/T) net representation. Inconsistency and incompleteness patterns in a knowledge base are then defined with respect to the Pr/T net model and are identified by using a syntactic pattern recognition method. This techni... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Current and future trends in artificial intelligence architectures and programming languages

    Publication Year: 1989, Page(s):215 - 221
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    LISP and four procedural HLPLs (high-level programming languages) are evaluated in terms of their suitability, based on execution efficiency, for coding AI-related problems. The Micro-VAX II is the target machine for this evaluation. Ada and C were found to be suitable HLPLs for coding AI-related problems that are to be executed on conventional machines. It is noted that the solutions to execution... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A metalanguage to express human guidance for program transformation

    Publication Year: 1989, Page(s):717 - 722
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (392 KB)

    A metalanguage, TrapML, is proposed. It has the ability to describe the syntax of object languages, transformation rules, and strategies. An abstract transformational programming system NDTPS is constructed to implement the language. It provides various supports for transformation activities, but does not depend on the syntax of object languages, transformation rules, and strategies. Metaprograms ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented language for image and vision execution (OLIVE)

    Publication Year: 1989, Page(s):598 - 607
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    The authors present OLIVE, an object-oriented language for machine vision and image processing that is intended to make it easier to develop efficient, portable applications. The goal in defining OLIVE is to provide a well-factored, intuitive, portable tool for image processing and analysis that insulates the user from details of the implementation while at the same time exploiting its capabilitie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TARO: an interactive, object-oriented tool for building natural language systems

    Publication Year: 1989, Page(s):108 - 113
    Cited by:  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (432 KB)

    The authors present TARO, an interactive tool to assist linguists in designing, building, testing, and extending natural language processing (NLP) systems. TARO (text analysis and representation with objects) is implemented in KSL, a reflective, object-oriented programming language. The architecture of TARO takes advantage of encapsulation, polymorphism, and inheritance of object-oriented programm... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive DB schema evolution via constrained relationships

    Publication Year: 1989, Page(s):393 - 398
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    A novel object-oriented data model and a tailored query language that enables the construction of evolving database (DB) schemas according to the information provided by transaction monitoring are presented. The data model and the query language are based on the notion of constrained relationships that enable interconnections between DB objects under constraints specified by rules. These relations... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • BIDDLE: a bidirectional data driven Lisp engine

    Publication Year: 1989, Page(s):207 - 214
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    The authors propose BIDDLE, a direct execution architecture for Lisp based on both data- and demand-driven principles. A priority queuing mechanism is used to control the parallelism and the workload of the processing elements. Also introduced is a novel mechanism whereby the sequential semantics of Lisp can be enforced in such a way as not to reduce the parallelism too drastically. BIDDLE is, the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Embedding learning in a general frame-based architecture

    Publication Year: 1989, Page(s):77 - 84
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    An effort to incorporate machine learning capabilities within a general-purpose frame-based architecture is discussed. The authors describe Chunker, an explanation-based chunking mechanism built on top of Theo, a software framework to support development of self-modifying problem-solving systems. Chunker forms rules that improve problem-solving efficiency by generalizing and compressing the chains... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model for understanding complexities of developing large-scale software systems

    Publication Year: 1989, Page(s):19 - 26
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (736 KB)

    The authors discuss a set of solutions to the problem of modeling the relationships between the entities of large-scale software processes and the development environments using matrix models. Formal techniques for developing project management specifications from descriptions of the attributes and relationships between software process entities are addressed. The attributes and the relationships ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An entity model for conceptual design

    Publication Year: 1989, Page(s):709 - 716
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    An effort is made to construct an interactive design aid environment with a highly semantic description facility and a logically effective verification facility for increasing software productivity oriented toward reutilization. The proposed method for design simulation is a semantic technique, based on an effective human interface in the entity model constructive process. The system helps human b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A VLSI system for difference picture-based motion analysis

    Publication Year: 1989, Page(s):592 - 597
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    A VLSI architecture for a difference picture-based dynamic scene analysis technique that can perform the analysis in real time is proposed. To analyze a dynamic scene, a difference picture is generated for two (previous and current) image frames of the scene taken at contiguous time instants. The entries in difference pictures are assumed to be caused by motion in the scene. Motion-related informa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards an automated tool for software certification

    Publication Year: 1989, Page(s):670 - 676
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB)

    The theoretical foundation and the main functionalities of the ATHENA software quality and certification tool are outlined. ATHENA supports the measurement of software quality factors, calculates a wide range of software quality metrics, and reports on the quality of software packages, using a software certification expert subsystem. The measurement kernel and the expert subsystem are described View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The role of learning in logic synthesis

    Publication Year: 1989, Page(s):252 - 258
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    A model of logic synthesis that uses technology-specific design rules and extends rule-based search to functional decomposition and technology mapping is proposed. The problem of technology independence is addressed with the addition of a model of learning for automating the generation of design rules. While this model improves design quality by taking advantage of the target technology, it is not... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sinhalese morphological analysis: a step towards machine processing of Sinhalese

    Publication Year: 1989, Page(s):100 - 107
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    Initial steps toward the machine processing of Sinhalese, including automatic translation, are discussed. Script input representation methods, morphological analysis, and some characteristics of Sinhalese are considered View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FGP: a virtual machine for database-driven expert systems

    Publication Year: 1989, Page(s):388 - 392
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    The authors describe FGP, a specification for a virtual machine that makes domain-specific knowledge explicit and brings it to bear on classification and identification problems. The model provides much of the functionality of traditional expert systems without requiring the system builder to preprocess the database into rules, frames, or heuristics. The authors explain the model, describe a parti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An algorithm for identification of relations among rules

    Publication Year: 1989, Page(s):360 - 367
    Cited by:  Papers (5)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    A representation of a rule-based system is proposed. It is used to define relations among rules. The relations defined are cause-effect, mutual exclusion, redundancy, conflict, subsumption, and implication. A relation between two rules is either complete, i.e. the relation holds for all instantiations of the rules, or partial, i.e. the relation holds only for some instantiations of the rules. An a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MARS-a RISC-based architecture for LISP

    Publication Year: 1989, Page(s):198 - 206
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (788 KB)

    A RISC (reduced instruction set computer)-based chip set architecture for LISP is presented which contains an instruction fetch unit (IFU) and three processing units: integer processing unit (IPU), floating-point processing unit (FPU), and list processing unit (LPU). The IFU feeds instructions to the processing units and provides the branch handle mechanism to reduce branch penalty; the IPU is opt... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • INNE: a structured learning algorithm for noisy examples

    Publication Year: 1989, Page(s):70 - 76
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    A technique for learning structural concepts from noisy examples is presented. Using the description language defined by J.F. Sowa (1984) provides a convenient way of expressing the knowledge and the properties used by the algorithm. This graph description makes it possible to better manage learning problems, define new methods, and present results in a familiar and practical way. A learning syste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A semantic network architecture for artificial intelligence processing

    Publication Year: 1989, Page(s):162 - 167
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    A multiprocessor computer architecture for knowledge processing which is based on semantic network knowledge representation is described. The architecture has the capability of matching a semantic network query with the entire knowledge base in parallel; this in turn ensures that the best possible answer can be obtained. Applications in computer vision in general and in scene labeling in particula... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The intelligent system server: delivering AI to complex systems

    Publication Year: 1989, Page(s):306 - 313
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (684 KB)

    The authors describe work on the design of an intelligent system server, a distributed architecture for delivering knowledge representation and reasoning services to applications. This work is based on two simple ideas. The first is that knowledge bases are like databases and their services should be provided in a similar manner-in a client-server relationship. The second idea is that a convenient... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing integrated knowledge-based systems

    Publication Year: 1989, Page(s):12 - 18
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (460 KB)

    The authors describe tools and methods developed and under development at the Lockheed Artificial Intelligence Center. Particular attention is given to the EVA (expert system validation associate), which consists of a set of tools which check for nonredundancy, consistency, correctness, and completeness of KBSs. These tools, among them EVA's automatic test case generator, are also applicable to th... View full abstract»

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