Follow

Research from 1991

PDF

Composition, Superposition, and Encapsulation in the Formal Specification of Distributed Systems
Kenneth J. Goldman

PDF

The Spectrum Simulation System: A Formal Approach to Distributed Algorithm Development Tools
Kenneth J. Goldman

PDF

Computational Learning Theory Lecture Notes for CS 582 Spring Semester, 1991
Sally A. Goldman

PDF

Exact Identification of Read-once Formulas Using Fixed Points of Amplification Functions
Sally A. Goldman, Michael J. Kearns, and Robert E. Schapire

PDF

The Difficulty of Random Attribute Noise
Sally A. Goldman and Robert H. Sloan

PDF

The Power of Self-Directed Learning
Sally A. Goldman and Robert H. Sloan

PDF

A Recurrence Model for Asynchronous Pipeline Analysis
Fengmin Gong, Zubin Dittia, and Gurudatta M. Parulkar

PDF

Efficient Queries For Quasi-Ordered Databases
Victor Jon Griswold

PDF

A Parser Generator Based on Earley's Algorithm
Jawaid Hakim

PDF

Ranking Radiotherapy Treatment Plans using Decision-Analytic and Heuristic Techniques
Nilesh L. Jain and Michael G. Kahn

PDF

Quicksort in Constant Space
Anne Kaldewaij and Jan Tijmen Udding

PDF

Rank Order Filters and Priority Queues
Anne Kaldewaij and Jan Tijmen Udding

PDF

Design of an ATM-FDDI Gateway
Sanjay Kapoor and Gurudatta M. Parulkar

PDF

An Access Protection Solution for Heavy Load Unfairness in DQDB
Lakshmana N. Kumar and Andreas D. Bovopoulos

PDF

DNA Mapping Algorithms: Clone Sequencing
Judith H. Lewis and Will Gillett

PDF

SAAM: The Strategic Asset Allocation Model
Judy Lewis, Todd Gamble, and John Tai

PDF

Performance Analysis of the Ethernet under Conditions of Bursty Traffic
Tony Y. Mazraani and Gurudatta M. Parulkar

PDF

DNA Mapping Algorithms: Topological Mapping
Kenneth Moorman, Paul Poulosky, and Will Gillett

PDF

Remote Visualization: Challenges and Opportunities Panel Statement
Gurudatta M. Parulkar

PDF

Converting Binary Thresholds Networks into Equivalent Symmetric Networks
Gadi Pinkas

PDF

First-Order Logic Proofs using Connectionist Constraints Relaxation
Gadi Pinkas

PDF

Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks
Gadi Pinkas

PDF

Representation and Learning of Propositional Knowledge in Symmetric Connectionist Networks
Gadi Pinkas

PDF

Symmetric Neural Nets and Propositional Logic Satisfiability
Gadi Pinkas

PDF

Reasoning for Inconsistency-- A Taxonomy and a Connectionist Approach
Gadi Pinkas and Ron P. Loui

PDF

Pavane: A System for Declarative Visualization of Concurrent Computations
Gruia-Catalin Roman, Kenneth C. Cox, C. Donald Wilcox, and Jerome Y. Plum

PDF

Reasoning about Synchronic Groups
Gruia-Catalin Roman and H. Conrad Cunningham

PDF

Formal Derivation of Rule-Based Program
Gruia-Catalin Roman, Rose F. Gamble, and William E. Ball

PDF

Formal Verification of Pure Production Systems Programs
Gruia-Catalin Roman, Rose F. Gamble, and William E. Ball

PDF

Parallel Synchronous Control
Gruia-Catalin Roman and Jerome Y. Plum

PDF

Dynamic Synchrony among Atomic Actions
Gruia-Catalin Roman, Jerome Y. Plun, and C. Donald Wilcox

PDF

Axon Host-Network Interface Architecture for Gigabit Communication
James P.G. Sterbenz and Gurudatta M. Parulkar

PDF

Resequencing Cells in an ATM Switch
Jonathan Turner

PDF

A Practical Version of Lee's Multicast Switch Architecture
Jonathan S. Turner

PDF

Genetic Algorithms: Usefulness and Effectiveness for Pattern Recognition
Mohit Verma

PDF

A Quantitative Comparison of Architectures for ATM Switching Systems
Ellen E. White

Research from 1990

PDF

Probabilistic Analysis of Random Clone Restriction Mapping
Laurie J. Barnett

PDF

Information Theoretic Estimation of Clone Overlap Probabilities
Jeffrey C. Beran-Koehn and Will D. Gillett

PDF

Performance Evaluation of a User Network Interface for ATM Networks
Andreas D. Bovopoulos and Einir Valdimarsson

PDF

MOBAD Model-Based Diagnosis
Amy Brodbeck, Paul Calabrese, Joanna Liu, and Mark Maxwell

PDF

SwarmView Animation Vocabulary and Interpretation
Kenneth C. Cox

PDF

Visualization in Concurrent Contexts: A Model
Kenneth C. Cox

PDF

Visualizing Concurrent Computations
Kenneth C. Cox and Gruia-Catalin Cox

PDF

SwarmExec: A Prolog-Based Execution Engine for a Shared-Database Language with Visualization Capabilities
Kenneth C. Cox, C. Donald Wilcox, and Jerome Y. Plum

PDF

Unity-Style Proofs for Shared Dataspace Programs Using Dynamic Statements
H. Conrad Cunningham and Gruia-Catalin Roman

PDF

Edited Transcription of the Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance
Jennie Dorosh and Ronald P. Loui

PDF

NCUBE User Activity Academic Year 1988/89
Mark A. Franklin

PDF

The Discrete Orthonormal Wavelet Transform: An Introduction
Michael Frazier and Arun Kumar

PDF

BTC Modifications
Gaurav Garg

PDF

BTC Test Methodology
Gaurav Garg

PDF

DNA Mapping Algorithms: The DNA Simulator
Will Gillet and John Heidemann

PDF

Highly Concurrent Logically Synchronous Multicast
Kenneth J. Goldman

PDF

Segment Streaming for Efficient Pipelined Televisualization
Fengmin Gong

PDF

Determine Interior Vertices of Graph Intervals
Victor Jon Griswold

PDF

Determining Interior Vertices of Graph Intervals
Victor Jon Griswold

PDF

An Algebra for Delay-Insensitive Circuits
Mark B. Josephs and Jan Tijmen Udding Washington University in St. Louis

PDF

Super Linear Learning in Back Propagation Neural Nets
Barry L. Kalman

PDF

A New Transform For Time-Frequency Analysis
Arun Kumar, Daniel R. Fuhrmann, Michael Frazier, and Bjorn Jawerth

PDF

Studies in the Hybrid Deterministic Parsing
Stan C. Kwasny, Anne M. Johnstone, and Barry L. Kalman

PDF

Introduction to Communicating Sequential Processes
Luming Lai

PDF

A Mathematical Model and Refinement Relation for a CSP-Like Language
Luming Lai and Jeff Sanders

PDF

A Simulation Testbed for Image Compression Algorithms
Andrew Francis Laine

PDF

A Multi-Scale Approach for Recognizing Complex Annotations in Engineering Documents.
Andrew Francis Laine, William Ball, and Arun Kumar

PDF

A Parallel Algorithm for Incremental Stereo Matching on SIMD Machines
Andrew F. Laine and Gruia-Catalin Roman

PDF

Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance
R. P. Loui, M. Kahn, and G. Simari

PDF

The WIC Advisor: A Case Study in Medical Expert System Development
Elizabeth J. Mattson, Matthew M. Thomas, Sharon A. Trenz, and Steve B. Cousins

PDF

VLSI Area Comparison of Benes and Crossbar Communications Networks
Tony Y. Mazraani

PDF

The equivalence of connectionist energy minimization and propositional calculus satisfiability
Gadi Pinkas

PDF

Dining with Synchronized Forks
Jerome Plun and Gruia-Catalin Roman

PDF

Testing the Taxi
William D. Richard

PDF

Technical Reviews: A Product Adoption Process
Gruia-Catalin Roman

PDF

Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
Gruia-Catalin Roman and H. Conrad Cunningham

PDF

The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic
Gruia-Catalin Roman and H. Conrad Cunningham

PDF

Axon: Host-Network Interface Design
James P.G. Sterbenz

PDF

Queueing Analysis of Buffered Switching Networks
Jonathan Turner

Research from 1989

PDF

The Trajectory Method for Evaluating Periodic Bursty Traffic
Akira Arutaki

PDF

Design of PP3 a Packet Processor Chip
Hai-Feng Bi

PDF

On the Effect of Delayed Feedback Information of Network Performance
Andreas D. Bovopoulos

PDF

Resource Allocation as Nash Game in a Multiclass Packet Switched Environment
Andreas D. Bovopoulos

PDF

Resource Allocation for Markovian Queueing Networks: The Partial Information Case
Andreas D. Bovopoulos

PDF

Asynchronous Algorithms for Optimal Flow Control of BCMP Networks
Andreas D. Bovopoulos and Aurel A. Lazar

PDF

Decentralized Network Flow Control
Andreas D. Bovopoulos and Aurel A. Lazar

PDF

Load Balancing Algorithms for Jacksonian Networks with Acknowledgement Delays
Andreas D. Bovopoulos and Aurel A. Lazar

PDF

Optimal Resource Allocation for Markovian Queueing Networks: The Complete Information Case
Andreas D. Bovopoulos and Aurel A. Lazar

PDF

The Specification Statement Refined
Wei Chen and Jan Tijmen Udding

PDF

The Display and Manipulation of Temporal Information
Steve B. Cousins, Michael G. Kahn Washington University in St. Louis, and Mark E. Frisse Washington University in St. Louis

PDF

The Medical Informatics Group: Ongoing Research
Steven B. Cousins, Mark E. Frisse, Michael G. Kahn, and James C. Beard

PDF

The Physician's Workstation Health Care Revolution or the Nearest Mis Yet?
Jerome R. Cox Jr.

PDF

An Inexpensive Electronic Viewbox
J. R. Cox Jr., R. G. Jost, T. Monsees, S. Ramamurthy, and M. Karlsson

PDF

Visualization of Concurrent Computations: Doctor of Science Dissertation Proposal
Kenneth C. Cox

PDF

A UNITY-Style Programming Logic for a Shared Dataspace Language
H. Conrad Cunningham and Gruia-Catalin Roman

PDF

Toward Formal Verification of Rule-Based Systems: A Shared Dataspace Perspective
H. Conrad Cunningham and Gruia-Catalin Roman

PDF

CDP: A Connectionist Deterministic Parser A Dissertation Proposal
Kanaan A. Faisal

PDF

Information Retrieval from Hypertext: Update on the Dynamic Medical Handbook Project
Mark E. Frisse and Steve B. Cousins Washington University in St. Louis

PDF

Correct Parallel Status Assignments for the Reason Maintenance System
Rosanne M. Fulcomer and William E. Ball

PDF

Towards a Fully Parallel Reason Maintenance System
Rosanne M. Fulcomer and William E. Ball

PDF

A Methodology for Developing Correct Rule-Based Programs for Parallel Implementation
Rosanne Fulcomer Gamble

PDF

Design of a VLSI Broadcast Translation Circuit
Gaurav Garg

PDF

Parallel Iterative-Deepening Search
David J. Harker

PDF

U.S. Tax Law as an Expert System
Karin M. Hartzell and Susan T. Miles