Follow

Research from 1993

PDF

TRAINREC: A System for Training Feedforward & Simple Recurrent Networks Efficiently and Correctly
Barry L. Kalman and Stan C. Kwasny
Computer Science and Engineering

PDF

A Proposed Bus Arbitration Scheme for Multimedia Workstations
Saied Hosseini Khayat and Andreas D. Bovopoulos

PDF

Supervised Competitive Learning with Backpropagation Network and Fuzzy Logic
Takayuki Dan Kimura, Thomas H. Fuller Jr., and Ce Wang
Computer Science and Engineering

PDF

Tail-Recursive Distributed Representations and Simple Recurrent Networks
Stan C. Kwasny and Barry L. Kalman

PDF

A Design for Reasoning with Policies, Prrecedents and Rationales
Ronald P. Loui, Jeff Norman, Jon Olson, and Andrew Merrill
Computer Science and Engineering

PDF

Analogy, Decision, and Theory-Formation as Defeasible Reasoning
R. P. Loui

PDF

Human and Machine Cognition Workshop Papers 1989, 1991, 1993
R. P. Loui
Computer Science and Engineering

PDF

Rule-Maker's and Rule-Follower's Meaning
R. P. Loui

PDF

Clothespins on Timelines: Utilities and The Interval Representation of Time
R. P. Loui and Jersey Chen
Computer Science and Engineering

PDF

Effective Loss of Multiplexed ATM Cell Streams
Seyyed M-R Mahdavian and Andreas D. Bovopoulos
Computer Science and Engineering

PDF

A Fault Tolerant Connectionist Architecture for Construction of Logic Proofs
Gadi Pinkas
Computer Science and Engineering

PDF

Logical Interference in Symmetric Connectionist Networks
Gadi Pinkas
Computer Science and Engineering

PDF

Representing and Learning Propositional Logic in Symmetric Connectionist Networks
Gadi Pinkas
Computer Science and Engineering

PDF

The Washington University MultiMedia eXplorer
William D. Richard, Jerome R. Cox Jr., A. Maynard Engebretson, Jason Fritts, and Craig Horn

PDF

The Washington University Multimedia System
William D. Richard, Jerome R. Cox Jr., Brian Gottlieb, and Ken Krieger
Computer Science and Engineering

PDF

A Taxonomy of Program Visualization Systems
Gruia-Catalin Roman and Kenneth C. Cox
Computer Science and Engineering

PDF

Reasoning about Synchrony Illustrated on Three Models of Concurrency
Gruia-Catalin Roman and Jerome Plun
Computer Science and Engineering

PDF

Segmentation/Recognition of Hand-Written Numeral Characters
Khalid Sherdil
Computer Science and Engineering

PDF

Dynamic Reconfiguration with I/O Abstraction
Bala Swaminathan and Kenneth J. Goldman
Computer Science and Engineering

PDF

An Optimal Nonblocking Multicast Virtual Circuit Switch
Jonathan S. Turner
Computer Science and Engineering

PDF

Optimal Nonblocking Multipoint Virtual Circuit Switching
Jonathan S. Turner

PDF

The Pessimism behind Optimistic Simulation
George Varghese, Roger D. Chamberlain, and William E. Weihl

PDF

Supervised Competitive Learning Part II: SCL with Fuzzy Logic
Ce Wang, Takayuki D. Kimura, and Thomas H. Fuller Jr.

PDF

The Study of Computer Science Concepts through Game Play
Benjamin M. Weber
Computer Science and Engineering

PDF

Distributed Computing Systems and Checkpointing
Ken Wong and Mark Franklin
Computer Science and Engineering

PDF

Mini-ATMizer User's Guide and Technical Manual
David M. Zar

Research from 1992

PDF

The DIM system: WOZ Simulation Results - Phase I
Jennifer Balentine, Umesh Berry, and Anne Johnstone

PDF

The DIM system: An Empirically Derived NLP System
Jennifer Balentine, Anne Johnstone, and David Mathias

PDF

The DIM system Plan Recognition in Spoken Dialogues
Umesh Berry and Michael Groner

PDF

Proposal for a comprehensive bandwidth management scheme and connection acceptance rule for B-ISDN
Giuseppe Bianchi and Vittorio Trecordi

PDF

Improved Queueing Analysis of Shared Buffer Switching Networks
Giuseppe Bianchi and Jonathan S. Turner

PDF

Exact and Approximate Solution of a Multiplexing Problem
Mario Bonatti, Andreas Bovopoulos, Apostolos Dailianas, and Alexei Gaivoronski

PDF

Optimal Burst Level Admission Control In A Broadband Network
Andreas D. Bovopoulos

PDF

Statistical Multiplexing of Semi-Markov Modulated Sources
Andreas D. Bovopoulos and Saied Hosseini-Khayat

PDF

The Effect of Delayed Feedback Information on Network Performance
Andreas D. Bovopoulos and Aurel A. Lazar

PDF

Simulation of an ATM-FDDI Gateway
Milind M. Buddhikot, Sanjay Kapoor, and Gurudatta M. Parulkar

PDF

Inversion Laws for Specifications and Recursive Procedures
Wei Chen

PDF

Project Zeus: Design of a Broadband Network and its Application on a University Campus
Jerome R. Cox Jr., Michael E. Gaddis, and Jonathan S. Turner

PDF

CtoVis: An Interface between C Programs and Pavane Visualizations
Kenneth C. Cox

PDF

Abstraction in Algorithm Animation
Kenneth C. Cox and Gruia-Catalin Roman

PDF

Experiences with the Pavane Program Visualization Environment
Kenneth C. Cox and Gruia-Catalin Roman

PDF

An Implementation Model for Connection-Oriented Internet Protocols
Charles D. Cranor and Gurudatta M. Parulkar

PDF

Formal Specifications and Design of a Message Router
Christian Creveull and Gruia-Catalin Roman

PDF

Efficient Accommodation of May-Alias Information in SSA Form
Ron Cytron and Reid Gershbein

PDF

Connection Management Access Protocol (CMAP) Specification
John DeHart, Mike Gaddis, and Rick Bubenik

PDF

Algorithms for Designing Nonblockings Communication Networks with General Topologies
J. Andrew Fingerhut

PDF

Designing Communication Networks with Fixed or Nonblocking Traffic Requirements
J. Andrew Fingerhut

PDF

Performance Comparison of Clocked and Asynchronous Pipelines
Mark A. Franklin and Tienyo Pan

PDF

Energy-related Feature Abstraction for Handwritten Digit Recognition
Thomas H. Fuller Jr.

PDF

DNA Mapping Algorithms: Strategies for Single Restriction Enzyme and Multiple Restriction Enzyme Mapping
Will Gillett

PDF

Separating Structure from Function in the Specification and Design of Distributed Systems
Kenneth J. Goldman

PDF

The Programmers' Playground: I/O Abstraction for Heterogeneous Distributed Systems
Kenneth J. Goldman and Michael D. Anderson

PDF

On the Complexity of Teaching
Sally A. Goldman and Michael J. Kearns

PDF

On the Sample Complexity of Weakly Learning
Sally A. Goldman, Michael J. Kearns, and Robert E. Schapire

PDF

Learning k-term DNF Formulas with an Incomplete Oracle
Sally A. Goldman and H. David Mathais

PDF

Can PAC Learning Algorithms Tolerate Random Attribute Noise?
Sally A. Goldman and Robert H. Sloane

PDF

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

PDF

An Application-Oriented Error Control Scheme for High Speed Networks
Fengmin Gong and Guru Parulkar

PDF

A Two-Level Flow Control Scheme for High Speed Networks
Fengmin Gong and Guru Parulkar

PDF

An Overview of Segment Streaming for Efficient Pipelined Televisualization
Fengmin Gong and Gurudatta M. Parulkar

PDF

Design of a Multimedia Applications Development System
Raman Gopalakrishnan and Andreas D. Bovopoulos

PDF

Exact Dominance without Search in Decision Trees
Nilesh L. Jain and Ronald P. Loui

PDF

Hyperflow: A Uniform Visual Language for Different Levels of Programming
Takayuki Dan Kimura

PDF

Hyperflow: A Visual Programming Language for Pen Computers
Takayuki Dan Kimura

PDF

Kumon Machine: Learning Math with Silicon Paper
Takayuki Dan Kimura

PDF

A Protocol for Dynamic Assessment of Network Topology in DQDB MANs
Lakshmana N. Kumar and Andreas D. Bovopoulos

PDF

The 3-Tier Structured Access Protocol to Control Unfairness in DQDB MANs
Lakshmana N. Kumar and Andreas D. Bovopoulos

PDF

An Argument Game
Ronald Loui and William Chen

PDF

Computing Specificity
Ronald Loui, J. Norman, K. Stiefvater, A. Merrill, A. Costello, and J. Olson

PDF

Process and Policy: Resource-Bounded Non-Demonstrative Reasoning
Ronald P. Loui

PDF

A Model for Detecting Motifs in Biological Sequences
Andrew F. Neuwald and Phillip P. Green

PDF

Experimental Evaluation of SUNOS IPC and TCP/IP Protocol Implementations
Christos Papadopoulos and Gurudatta M. Parulkar

PDF

An Improved Activation Function for Energy Minimization
Gadi Pinkas and Rina Dechter

PDF

Pavane User's Manual
Jerome Y. Plun

PDF

Swarm Language Reference Manual
Jerome Y. Plun, C. Donald Wilcox, and Kenneth C. Cox

PDF

Program Visualization: The Art of Mapping Programs to Pictures
Gruia-Catalin Roman and Kenneth C. Cox

PDF

Seeking Concurrency in Rule-based Programming
Gruia-Catalin Roman, Rose F. Gamble, and William E. Ball

PDF

Architecture-Directed Refinement
Gruia-Catalin Roman and C. Donald Wilcox

PDF

On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints
Gruia-Catalin Roman, C. Donald Wilcox, and Jerome Y. Plum

PDF

Hardware Based Error and Flow Control in the Axon Gigabit Host-Network Interface
James P. G. Sterbenz, Anshul Kantawala, Milind Buddhikot, and Gurudatta M. Parulkar

PDF

Hierarchical Correctness Proofs for Recursive Distributed Algorithms using Dynamic Process Creation
Bala Swaminathan and Kenneth J. Goldman

PDF

Gesture System for a Graph Editor
Burak Muammer Taysi

PDF

Research Proposal: Design and Analysis of Practical Switching Networks
Ellen E. White

PDF

The Clos Network as a Multirate Distributer with a Greedy Routing Algorithm
Ellen E. White

PDF

Multicomputer Checkpointing
Ken Wong and Mark Franklin

Research from 1991

PDF

Persistent Connections in High Speed Internets
James M. Anderson, Gurudatta M. Parulkar, and Zubin Dittia

PDF

Completely Reliable Auto Shopping Heuristic (CRASH)
Todd Bashuk, David Donat, and Kieth Marrs

PDF

Performance Evaluation of a Traffic Control Mechanism for ATM Networks
Andreas D. Bovopoulos

PDF

Exit Statements are Executable Miracles
Wei Chen

PDF

CABeN: A Collection of Algorithms for Belief Networks
Steve B. Cousins, William Chen, and Mark E. Frisse

PDF

The Visual Display of Temporal Information
Steve B. Cousins and Michael G. Kahn

PDF

Rapid Display of Radiographic Images
Jerome R. Cox Jr., Stephen M. Moore, Robert A. Whitman, G. James Blaine, R. Gilbert Jost, L. Magnus Karlsson, Thomas L. Monsees, Gregory L. Hansen, and Timothy C. David

PDF

Project Zeus: Design of a Broadband Network and its Application on a University Campus
Jerome R. Cox Jr. and Jonathan S. Turner

PDF

SwarmView: A Graphical Engine for the Interpretation and Display of Visualizations
Kenneth C. Cox

PDF

DNA Mapping Algorithms: Fragment Splitting and Combining
James Daues and Will Gillet

PDF

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

PDF

The Kumon Approach to Learning Mathematics: An Educator's Perspective
Thomas H. Fuller Jr.

PDF

Transforming a Rule-based Program
Rose F. Gamble

PDF

Applying Formal Verification Methods to Pure Rule-Based Programs
Rose F. Gamble, Gruia-Catalin Roman, William E. Ball, and H. Conrad Cunningham

PDF

DNA Mapping Algorithms: Abstract Data Types - Concepts and Implementation
Will Gillett and Liz Hanks