Computer Science & Engineering

Per Page:
Sort:

Verification and Validation of Rule-Based Expert Systems

Suzanne Smith, Abraham Kandel
August 16, 1993

This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools that provide a more formal, objective, and automated means of carrying out verification and validation procedures. Many of the concepts behind these...

Proceedings of the 1993 International Conference on Parallel Processing

Salim Hariri, P. Bruce Berra
August 16, 1993

This three-volume work presents a compendium of current and seminal papers on parallel/distributed processing offered at the 22nd International Conference on Parallel Processing, held August 16-20, 1993 in Chicago, Illinois. Topics include processor architectures; mapping algorithms to parallel...

Proceedings of the 1993 International Conference on Parallel Processing

Alok N. Choudhary, P. Bruce Berra
August 16, 1993

This three-volume work presents a compendium of current and seminal papers on parallel/distributed processing offered at the 22nd International Conference on Parallel Processing, held August 16-20, 1993 in Chicago, Illinois. Topics include processor architectures; mapping algorithms to parallel...

Computer-Assisted Simulation of Dynamic Systems with Block Diagram Languages

Nicholas M. Karayanakis
June 24, 1993

Computer-Assisted Simulation of Dynamic Systems with Block Diagram Languages explores the diverse applications of these indispensable simulation tools. The first book of its kind, it bridges the gap between block diagram languages and traditional simulation practice by linking the art of analog/...

Two Dimensional Spline Interpolation Algorithms

Helmuth Späth
May 31, 1993

These volumes present a practical introduction to computing spline functions, the fundamental tools for fitting curves and surfaces in computer-aided deisgn (CAD) and computer graphics....

Encyclopedia of Microcomputers: Volume 12 - Multistrategy Learning to Operations Research: Microcomputer Applications

Allen Kent, James G. Williams
May 28, 1993

"The Encyclopedia of Microcomputers serves as the ideal companion reference to the popular Encyclopedia of Computer Science and Technology. Now in its 10th year of publication, this timely reference work details the broad spectrum of microcomputer technology, including microcomputer history;...

Geometric Concepts for Geometric Design

Hartmut Prautzsch, Wolfgang Boehm
May 06, 1993

This book is a comprehensive tool both for self-study and for use as a text in classical geometry. It explains the concepts that form the basis for computer-aided geometric design....

Encyclopedia of Computer Science and Technology: Volume 28 - Supplement 13: AerosPate Applications of Artificial Intelligence to Tree Structures

Allen Kent, James G. Williams
April 05, 1993

"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and...

Algebraic Combinatorics

Chris Godsil
April 01, 1993

...

Foundations of Mobile Radio Engineering

Michel Daoud Yacoub
February 23, 1993

Foundations of Mobile Radio Engineering is a comprehensive survey covering the main topics of mobile radio systems. Concepts considered include the theory of patterns and symmetry and how it impacts hexagonal cell tessellation, long-term fading and log-normal distribution, short-term fading and...

A Physical Approach to Color Image Understanding

Gudrun Klinker
February 15, 1993

The author presents a vision model that uses color information to interpret the effects of shading and highlights on a scene. Transcending more traditional approaches, this method may lead to more reliable and useful techniques for image understanding....

Mechanism Analysis: Simplified and Graphical Techniques, Second Edition,

Lyndon O. Barton
January 19, 1993

This updated and enlarged Second Edition provides in-depth, progressive studies of kinematic mechanisms and offers novel, simplified methods of solving typical problems that arise in mechanisms synthesis and analysis - concentrating on the use of algebra and trigonometry and minimizing the need for...

Conferences

Year: