Technical Reports from 1995 to 1999
|
AUTHORS
|
TITLE
|
REPORT #
|
DATE
|
|---|---|---|---|
| P. Baumgartner J.D. Horton E.B. Spencer |
Merge Path improvements for Minimal Model Hyper Tableaux | TR99-124 | Jan 1999 |
| R. Cookson | An Evaluation of Case-Based Reasoning for Fault Diagnosis | TR97-113 | Apr 1997 |
| E.D. Demaine A. Lopez-Ortiz J.I. Munro |
Adaptive Set Intersections | TR98-120 | July 1998 |
| S.S. Deshpande L. Goldfarb |
On a General Concept of the Inductive Learning Process | TR95-093 | May 1995 |
| Y. Fadlalla R.H. Cooper |
The Covert Channel Problem | TR96-111 | Aug 1996 |
| A.A. Ghorbani V.C. Bhavsar |
Incremental Communication for Multilayer Neural Networks: Error Analysis | TR96-104 | Mar 1996 |
| C. Gobrecht C. Ware V.C. Bhavsar |
3D Visualization of Message Passing in Distributed Programs | TR96-103 | Jan 1996 |
| L. Goldfarb S.S. Deshpande |
Non-Numeric Measurement Devices (Preliminary Version) | TR96-106 | Mar 1996 |
| L. Goldfarb S.S. Deshpande V.C. Bhavsar |
Inductive Theory of Vision | TR96-108 | Apr 1996 |
| L. Goldfarb K. Cormier |
On the Central Role of Symbolic Representations in Biological Processes: Symbols as Operations Executed by Molecules, Synapses, and Neuronal Systems | TR97-114 | Apr 1997 |
| S. Hartati | Computer Reasoning About Nuclear Physics Processes | TR96-107 | Apr 1996 |
| C.A. Hipke A. Lopez-Ortiz |
Position-Independant Street Searching | TR99-122 | Mar 1999 |
| J.D. Horton E.B. Spencer |
Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning | TR95-095 | Jun 1995 |
| J.D. Horton E.B. Spencer |
Reducing Search with Minimal Clause Trees | TR95-099 | Nov 1995 |
| J.D. Horton E.B. Spencer |
Bottom-Up Procedures for Minimal Clause Trees | TR96-101 | Jan 1996 |
| J.D. Horton E.B. Spencer |
Bottom Up Procedures to Construct Each Minimal Clause Tree Once | TR97-115 | Jul 1997 |
| J.D. Horton E.B. Spencer |
Combining Rank/Activity with Set of Support, Hyperresolution and Subsumption | TR99-125 | Apr 1999 |
| P.A. Judd | Multi-Dimensional Data Structures for Seismic Data | TR95-097 | Jul 1995 |
| M. Lamoureux B.G. Nickerson |
Deterministic Skip Lists for k-dimensional Range Search | TR95-098 | Sep 1995 |
| M. Lamoureux |
An Implementation of a Mult-dimensional Dynamic Range Tree Based on an AVL Tree | TR95-100 | Nov 1995 |
| M. Lamoureux B.G. Nickerson |
On the Equivalence of B-Trees and Deterministic Skip Lists | TR96-102 | Jan 1996 |
| M. Lamoureux | A Dynamic Data Structure for Multi-Dimensional Range Searching | TR96-105 | Mar 1996 |
| A. Lopez-Ortiz S. Schuierer |
The Ultimate Strategy to Search on m Rays | TR98-118 | Feb 1998 |
| A. Lopez-Ortiz S. Schuierer |
The Exact Cost of Exploring Streets with CAB | TR98-119 | May 1998 |
| A. J. Mcallister | A New Heuristic Algorithm For The Linear Arrangement Problem | TR00_126a | |
| A. J. McAllister J. D. Horton |
On the Realizability of Cardinality Constraints in Conceptual Data Models | TR99-123 | Apr 1999 |
| A. Mironov V. C. Bhavsar |
A New Approach For Specification And Verification Of Distributed Agents | TR98_120a | Jun 2000 |
| A. Mironov | Typed Tree Automata | TR99-126 | Oct 1999 |
| C. Obimbo E.B. Spencer |
Disjunctive Deductive Databases | TR96-110 | Aug 1996 |
| Y. Pan | Investigation of a Dynamic K-D Search Skip List Requiring Q(kn) Space | TR97-116 | Sep 1997 |
| R. Sarno V.C. Bhavsar E.M.A. Hussein |
A Comparison of Vectorizable Discrete Sampling Methods in Monte Carlo Applications | TR95-096 | Jul 1995 |
| E.B. Spencer J.D. Horton K. Francis |
Experiments with the ALPOC Theorem Prover | TR95-094 | Jun 1995 |
| J. Wang B.G. Nickerson R. Lees |
MOSA Developer's Guide | TR96-109 | Apr 1996 |
| J. Wang | A knowledge-based Spectroscopic Assignment System | TR97-112 | Apr 1997 |
| L. Wang | Constructing Case Bases from Medical Databases | TR97-117 | Dec 1997 |
| C. Ware | TR98-121 | Nov 1998 | |
| E. Xie | Spatial Data Structure Indexing for Video Databases | TR99-127 | Dec 1999 |
| X. Xu B.G. Nickerson |
Applications of the Extension Principle to the Plane | TR95-092 | Mar 1995 |