Research from 1993
Supervised Competitive Learning with Backpropagation Network and Fuzzy Logic
Takayuki Dan Kimura, Thomas H. Fuller Jr., and Ce Wang
Computer Science and Engineering
Tail-Recursive Distributed Representations and Simple Recurrent Networks
Stan C. Kwasny and Barry L. Kalman
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
Molecular cloning of a human homologue of Drosophila heterochromatin protein HP1 using anti-centromere autoantibodies with anti-chromo specificity
W Saunders, C Chue, M Goebl, Carolyn Craig, Robert F. Clark, J Powers, J Eissenberg, Sarah C.R. Elgin, N Rothfield, and W Earnshaw
Biology
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
Heterochromatin protein 1, a known suppressor of position-effect variegation, is highly conserved in Drosophila
Robert F. Clark and Sarah C.R. Elgin
Biology
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