Research from 1993
A Design for Reasoning with Policies, Prrecedents and Rationales
Ronald P. Loui, Jeff Norman, Jon Olson, and Andrew Merrill
Computer Science and Engineering
Analogy, Decision, and Theory-Formation as Defeasible Reasoning
R. P. Loui
Human and Machine Cognition Workshop Papers 1989, 1991, 1993
R. P. Loui
Computer Science and Engineering
Rule-Maker's and Rule-Follower's Meaning
R. P. Loui
Clothespins on Timelines: Utilities and The Interval Representation of Time
R. P. Loui and Jersey Chen
Computer Science and Engineering
Effective Loss of Multiplexed ATM Cell Streams
Seyyed M-R Mahdavian and Andreas D. Bovopoulos
Computer Science and Engineering
A Fault Tolerant Connectionist Architecture for Construction of Logic Proofs
Gadi Pinkas
Computer Science and Engineering
Logical Interference in Symmetric Connectionist Networks
Gadi Pinkas
Computer Science and Engineering
Representing and Learning Propositional Logic in Symmetric Connectionist Networks
Gadi Pinkas
Computer Science and Engineering
The Washington University MultiMedia eXplorer
William D. Richard, Jerome R. Cox Jr., A. Maynard Engebretson, Jason Fritts, and Craig Horn
The Washington University Multimedia System
William D. Richard, Jerome R. Cox Jr., Brian Gottlieb, and Ken Krieger
Computer Science and Engineering
A Taxonomy of Program Visualization Systems
Gruia-Catalin Roman and Kenneth C. Cox
Computer Science and Engineering
Reasoning about Synchrony Illustrated on Three Models of Concurrency
Gruia-Catalin Roman and Jerome Plun
Computer Science and Engineering
Segmentation/Recognition of Hand-Written Numeral Characters
Khalid Sherdil
Computer Science and Engineering
Dynamic Reconfiguration with I/O Abstraction
Bala Swaminathan and Kenneth J. Goldman
Computer Science and Engineering
An Optimal Nonblocking Multicast Virtual Circuit Switch
Jonathan S. Turner
Computer Science and Engineering
Optimal Nonblocking Multipoint Virtual Circuit Switching
Jonathan S. Turner
The Pessimism behind Optimistic Simulation
George Varghese, Roger D. Chamberlain, and William E. Weihl
Supervised Competitive Learning Part II: SCL with Fuzzy Logic
Ce Wang, Takayuki D. Kimura, and Thomas H. Fuller Jr.
The Study of Computer Science Concepts through Game Play
Benjamin M. Weber
Computer Science and Engineering
Distributed Computing Systems and Checkpointing
Ken Wong and Mark Franklin
Computer Science and Engineering
Mini-ATMizer User's Guide and Technical Manual
David M. Zar
Research from 1992
The DIM system: WOZ Simulation Results - Phase I
Jennifer Balentine, Umesh Berry, and Anne Johnstone
The DIM system: An Empirically Derived NLP System
Jennifer Balentine, Anne Johnstone, and David Mathias
The DIM system Plan Recognition in Spoken Dialogues
Umesh Berry and Michael Groner
Proposal for a comprehensive bandwidth management scheme and connection acceptance rule for B-ISDN
Giuseppe Bianchi and Vittorio Trecordi
Improved Queueing Analysis of Shared Buffer Switching Networks
Giuseppe Bianchi and Jonathan S. Turner
Exact and Approximate Solution of a Multiplexing Problem
Mario Bonatti, Andreas Bovopoulos, Apostolos Dailianas, and Alexei Gaivoronski
Optimal Burst Level Admission Control In A Broadband Network
Andreas D. Bovopoulos
Statistical Multiplexing of Semi-Markov Modulated Sources
Andreas D. Bovopoulos and Saied Hosseini-Khayat
The Effect of Delayed Feedback Information on Network Performance
Andreas D. Bovopoulos and Aurel A. Lazar
Simulation of an ATM-FDDI Gateway
Milind M. Buddhikot, Sanjay Kapoor, and Gurudatta M. Parulkar
Inversion Laws for Specifications and Recursive Procedures
Wei Chen
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
CtoVis: An Interface between C Programs and Pavane Visualizations
Kenneth C. Cox
Abstraction in Algorithm Animation
Kenneth C. Cox and Gruia-Catalin Roman
Experiences with the Pavane Program Visualization Environment
Kenneth C. Cox and Gruia-Catalin Roman
An Implementation Model for Connection-Oriented Internet Protocols
Charles D. Cranor and Gurudatta M. Parulkar
Formal Specifications and Design of a Message Router
Christian Creveull and Gruia-Catalin Roman
Efficient Accommodation of May-Alias Information in SSA Form
Ron Cytron and Reid Gershbein
Connection Management Access Protocol (CMAP) Specification
John DeHart, Mike Gaddis, and Rick Bubenik
Algorithms for Designing Nonblockings Communication Networks with General Topologies
J. Andrew Fingerhut
Designing Communication Networks with Fixed or Nonblocking Traffic Requirements
J. Andrew Fingerhut
Performance Comparison of Clocked and Asynchronous Pipelines
Mark A. Franklin and Tienyo Pan
Energy-related Feature Abstraction for Handwritten Digit Recognition
Thomas H. Fuller Jr.
DNA Mapping Algorithms: Strategies for Single Restriction Enzyme and Multiple Restriction Enzyme Mapping
Will Gillett
Separating Structure from Function in the Specification and Design of Distributed Systems
Kenneth J. Goldman
The Programmers' Playground: I/O Abstraction for Heterogeneous Distributed Systems
Kenneth J. Goldman and Michael D. Anderson
On the Complexity of Teaching
Sally A. Goldman and Michael J. Kearns
On the Sample Complexity of Weakly Learning
Sally A. Goldman, Michael J. Kearns, and Robert E. Schapire
Learning k-term DNF Formulas with an Incomplete Oracle
Sally A. Goldman and H. David Mathais
Can PAC Learning Algorithms Tolerate Random Attribute Noise?
Sally A. Goldman and Robert H. Sloane
The Power of Self-Directed Learning
Sally A. Goldman and Robert H. Sloan
An Application-Oriented Error Control Scheme for High Speed Networks
Fengmin Gong and Guru Parulkar
A Two-Level Flow Control Scheme for High Speed Networks
Fengmin Gong and Guru Parulkar
An Overview of Segment Streaming for Efficient Pipelined Televisualization
Fengmin Gong and Gurudatta M. Parulkar
Design of a Multimedia Applications Development System
Raman Gopalakrishnan and Andreas D. Bovopoulos
Exact Dominance without Search in Decision Trees
Nilesh L. Jain and Ronald P. Loui
Hyperflow: A Uniform Visual Language for Different Levels of Programming
Takayuki Dan Kimura
Hyperflow: A Visual Programming Language for Pen Computers
Takayuki Dan Kimura
Kumon Machine: Learning Math with Silicon Paper
Takayuki Dan Kimura
A Protocol for Dynamic Assessment of Network Topology in DQDB MANs
Lakshmana N. Kumar and Andreas D. Bovopoulos
The 3-Tier Structured Access Protocol to Control Unfairness in DQDB MANs
Lakshmana N. Kumar and Andreas D. Bovopoulos
An Argument Game
Ronald Loui and William Chen
Computing Specificity
Ronald Loui, J. Norman, K. Stiefvater, A. Merrill, A. Costello, and J. Olson
Process and Policy: Resource-Bounded Non-Demonstrative Reasoning
Ronald P. Loui
A Model for Detecting Motifs in Biological Sequences
Andrew F. Neuwald and Phillip P. Green
Experimental Evaluation of SUNOS IPC and TCP/IP Protocol Implementations
Christos Papadopoulos and Gurudatta M. Parulkar
An Improved Activation Function for Energy Minimization
Gadi Pinkas and Rina Dechter
Pavane User's Manual
Jerome Y. Plun
Swarm Language Reference Manual
Jerome Y. Plun, C. Donald Wilcox, and Kenneth C. Cox
Program Visualization: The Art of Mapping Programs to Pictures
Gruia-Catalin Roman and Kenneth C. Cox
Seeking Concurrency in Rule-based Programming
Gruia-Catalin Roman, Rose F. Gamble, and William E. Ball
Architecture-Directed Refinement
Gruia-Catalin Roman and C. Donald Wilcox
On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints
Gruia-Catalin Roman, C. Donald Wilcox, and Jerome Y. Plum
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
Hierarchical Correctness Proofs for Recursive Distributed Algorithms using Dynamic Process Creation
Bala Swaminathan and Kenneth J. Goldman
Gesture System for a Graph Editor
Burak Muammer Taysi
Research Proposal: Design and Analysis of Practical Switching Networks
Ellen E. White
The Clos Network as a Multirate Distributer with a Greedy Routing Algorithm
Ellen E. White
Multicomputer Checkpointing
Ken Wong and Mark Franklin
Research from 1991
Persistent Connections in High Speed Internets
James M. Anderson, Gurudatta M. Parulkar, and Zubin Dittia
Completely Reliable Auto Shopping Heuristic (CRASH)
Todd Bashuk, David Donat, and Kieth Marrs
Performance Evaluation of a Traffic Control Mechanism for ATM Networks
Andreas D. Bovopoulos
Exit Statements are Executable Miracles
Wei Chen
CABeN: A Collection of Algorithms for Belief Networks
Steve B. Cousins, William Chen, and Mark E. Frisse
The Visual Display of Temporal Information
Steve B. Cousins and Michael G. Kahn
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
Project Zeus: Design of a Broadband Network and its Application on a University Campus
Jerome R. Cox Jr. and Jonathan S. Turner
SwarmView: A Graphical Engine for the Interpretation and Display of Visualizations
Kenneth C. Cox
DNA Mapping Algorithms: Fragment Splitting and Combining
James Daues and Will Gillet
The Discrete Orthonormal Wavelet Transform: An Introduction
Michael Frazier and Arun Kumar
The Kumon Approach to Learning Mathematics: An Educator's Perspective
Thomas H. Fuller Jr.
Transforming a Rule-based Program
Rose F. Gamble
Applying Formal Verification Methods to Pure Rule-Based Programs
Rose F. Gamble, Gruia-Catalin Roman, William E. Ball, and H. Conrad Cunningham
DNA Mapping Algorithms: Abstract Data Types - Concepts and Implementation
Will Gillett and Liz Hanks
Composition, Superposition, and Encapsulation in the Formal Specification of Distributed Systems
Kenneth J. Goldman
The Spectrum Simulation System: A Formal Approach to Distributed Algorithm Development Tools
Kenneth J. Goldman
Computational Learning Theory Lecture Notes for CS 582 Spring Semester, 1991
Sally A. Goldman
Exact Identification of Read-once Formulas Using Fixed Points of Amplification Functions
Sally A. Goldman, Michael J. Kearns, and Robert E. Schapire