Columbia University Department of Computer Science

1990 Technical Reports


CUCS-001-90
Incremental Algorithms for Minimal Length Paths
G. Ausiello and G. F. Italiano and A. Marchetti Spaccamela and U. Nanni
CUCS-003-90
Constraint-based Text Generation: Using local constraints and argumentation to generate a turn in conversation
Michael Elhadad
CUCS-004-90
An Object-Oriented Approach to Content Planning for Text Generation
Ursula Wolz
CUCS-006-90
Shape from Narrow light beam projections
Michael Hatzitheodorou
CUCS-007-90
A new algorithm for stereo matching
Michael Hatzitheodorou and Anargyros Papageorgiou
CUCS-008-90
Design Rationale of the Camelot Distributed Transaction Facility
Dan Duchamp and Joshua J. Bloch and Jeffrey L. Eppinger and Alfred Z. Spector and Dean Thompson
CUCS-009-90
The Constraint-Based Paradigm: The Integration of the Object-Oriented and Rule-Based Programming Paradigms--Ph.D. Dissertation
Michael van Biema
CUCS-010-90 Abstract Complete Document
An Incremental Priority-Based Solution to the Multiple Asynchronous Edit Problem
Simon M. Kaplan and Gail E. Kaiser
CUCS-011-90
Parallel and Distributed Processing of Rules in Data Intensive Applications
Ouri Wolfson and Aya Ozeri
CUCS-012-90
Decomposability and Its Role in Parallel Logic-Program Evaluation
Ouri Wolfson and Avi Silberschatz
CUCS-013-90
Network Management with Consistently Managed Objects
Shyhtsun F. Wu and Gail E. Kaiser
CUCS-014-90
Redundancy Management in a Symmetric Main Memory Database
Calton Pu and Avraham Leff and Frederick Korz and Shu-Wie Chen
CUCS-015-90
Why a Single Parallelization Strategy is not Enough in Knowledge Bases
Simona Rabinovici Cohen and Ouri Wolfson
CUCS-016-90
A Comparison of Cache Performance in Server-Based and Symmetric Database Architectures
Avraham Leff and Calton Pu and Frederick Korz
CUCS-017-90
An Object-Oriented Framework for Modeling Cooperation in Multi-Agent Rule-Based Development Environments
N. S. Barghouti and G. E. Kaisern
CUCS-018-90 Abstract Complete Document
Interfacing Cooperative Transactions to Software Development Environments
Gail E. Kaiser
CUCS-019-90 Abstract Complete Document
Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multi-User Software Development Environments
Gail E. Kaiser and Simon M. Kaplan
CUCS-020-90
Multiple Concurrency Control Policies in an Object-Oriented Programming System
Gail E. Kaiser and Wenwey Hseush and Steven S. Popovich and Shyhtsun F. Wu
CUCS-021-90
A Formalization and Implementation of Topological Visual Navigation in Two Dimensions
John R. Kender and Il-Pyung Park and David Yang
CUCS-022-90
A Photometric Invariant and Shape Constraints at Parabolic Points
Lawrence Wolff
CUCS-023-90
Parallel Least-Squares Solution of General and Toeplitz-like Linear Systems
Victor Pan
CUCS-024-90
On the evaluation of the eigenvalues of a banded Toeplitz block matrix
Dario Bini and Victor Pan
CUCS-025-90
Computing matrix eigenvalues and polynomial zeros where the output is real
Dario Bini and Victor Pan
CUCS-026-90
On a Recursive Triangular Factorization of Matrices
Victor Pan
CUCS-027-90
A Framework for Immibrating Existing Software into New Software Development Environements
Michael H. Sokolsky and Gail E. Kaiser
CUCS-028-90
Model-based and Task-driven Machine Vision Planning
Kostantinos Tarabanis
CUCS-029-90
Improved parallel polynomial division
Dario Bini and Victor Pan
CUCS-030-90
Approximate Polynomial Division with a Remainder by Means of Evaluation and Interpolation
Victor Pan and Elliot Landowne and Akimou Sadikou
CUCS-031-90
Complexity of Computations with Matrices and Polynomials
Victor Pan
CUCS-032-90
Parametrization of Newton's Iteration for Computations with Structured Matrices and Applications
Victor Pan
CUCS-033-90 Abstract Complete Document Extra Figure 1 Extra Figure 2 Extra Figure 3 Extra Figure 4 Extra Figure 5 Extra Figure 6
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements
Josephine Micallef and Gail E. Kaiser
CUCS-034-90 Abstract Complete Document Box A Box B Box C Box D Box E
Composing Systems Using Tool Abstraction
David Garlan and Gail E. Kaiser and David Notkin
CUCS-035-90
Real-time visual servoing
Peter Allen and Billibon Yoshimi and Aleksandar Timcenko
CUCS-036-90
Understanding Data Refinement Using Procedural Refinement
Steven M. Kearns

CUCS-037-90
TLex User Manual
Steven M. Kearns
CUCS-038-90
Modeling Network Management Functions as Database Operations -- Preliminary Version
Ouri Wolfson and Soumitra Sengupta and Yechiam Yemini
CUCS-039-90
Modeling Safe and Regular Concurrent Processes
Wenwey Hseush and Timothy S. Balraj and Gail E. Kaiser
CUCS-040-90
Lexical Choice in Natural Language Generation
Jacques Robin
CUCS-041-90
Testing Object-Oriented Programs by Mutually Suspicious Parties
Travis Lee Winfrey
CUCS-042-90
Porting AIX onto the Student Electronic Notebook
John Ioannidis and Gerald Q. Maguire Jr. and Israel Ben-Shaul and Marios Levedopoulos and Micky Liu
CUCS-043-90
The Coherent Trivial File Transfer Protocol
John Ioannidis and Gerald Q. Maguire Jr.
CUCS-044-90
A Methodology for Measuring Applications over the Internet
Calton Pu and Frederick M. Korz and Robert C. Lehman
CUCS-045-90
Automated Sensor Planning and Modeling for Robotic Vision Tasks
Kostantinos Tarabanis
CUCS-046-90 Abstract Complete Document
An Object-Based Programming Model for Shared Data
Gail E. Kaiser and Brent Hailpern
CUCS-047-90
Scaling Up Rule-Based Development Environments
Naser S. Barghouti and Gail E. Kaiser
CUCS-048-90 Abstract Complete Document
Dynamic Reconfiguration in an Object-Based Programming Language with Distributed Shared Data
Brent Hailpern and Gail E. Kaiser
CUCS-049-90
An Information Retrieval Approach for Automatically Constructing Software Libraries
Yoelle S. Maarek and Daniel M. Berry and Gail E. Kaiser
CUCS-050-90
Detection and Exploitation of File Working Sets
Carl Tait and Dan Duchamp
CUCS-051-90
An Object-Based Approach to Implementing Distributed Concurrency Control
Steven S. Popovich and Gail E. Kaiser and S.F. Wu
CUCS-052-90 Complete Document Extra Figure 1 Extra Figure 2 Extra Figure 3
Mortgage pool allocation by simulated annealing
Eugene Pinsky and Paul Fahn and Yechiam Yemini
CUCS-053-90
Applications of Epsilon-Serializability in Federated Databases
Calton Pu and Avraham Leff
CUCS-054-90
Epsilon-Serializability
Calton Pu and Avraham Leff
CUCS-055-90
PIP-1: A Personal Information Portal with wireless access to an information infrastructure
John Ioannidis and Gerald Q. Maguire Jr.
CUCS-057-90
A distributed algorithm for adaptive replication of data
Ouri Wolfson
CUCS-058-90
Incremental Evaluation of Rules and its Relationship to Parallelism
Ouri Wolfson and Hasanat Dewan and Salvatore Stolfo and Yechiam Yemini
CUCS-059-90
Active databases for communication network management
Ouri Wolfson and Soumitra Sengupta and Yechiam Yemini
CUCS-060-90
Getting and Keeping the Center of Attention
Rebecca J. Passonneau
CUCS-061-90
Benchmark: Simulated Annealing & Neural Networks on RISC workstations
Paul Fahn and Francisco A. Camargo and Yechiam Yemini
CUCS-062-91
Learning Algorithms in Neural Networks
Francisco A. Camargo
CUCS-063-90
Complexity of Mortgage Pool Allocation
Salvatore J. Stolfo and Xiangdong Yu
CUCS-064-90 Abstract Complete Document
Analyzing Skewed Symmetries
Ari D. Gross and Terrance E. Boult
CUCS-065-90 Abstract Complete Document
Shape from a Symmetric Universe
Ari D. Gross
CUCS-066-90
Dynamic Programming with Convexity, Concavity, and Sparsity
Zvi Galil and Kunsoo Park
CUCS-067-90
Inversion of Toeplitz Matrices with only Two Standard Equations
George Labahn and Tamir Shalom
CUCS-068-90
Near Real-Time Object-Precision Shadow Generation Using BSP Trees---Master Thesis
Norman Chin

Help | Columbia University Department of Computer Science | Search
Comments and Suggestions