Columbia University Department of Computer Science

1992 Technical Reports


CUCS-001-92
Concurrency Control in Rule-Based Software Development Environments (Ph.D. Thesis)
Naser S. Barghouti
CUCS-002-92
Parallel string matching algorithms
Dany Breslauer and Zvi Galil
CUCS-003-92
A Lower Bound for Parallel String Matching
Dany Breslauer and Zvi Galil
CUCS-004-92
A Survey of Image Registration Techniques
Lisa Gottesfeld Brown
CUCS-005-92
Extraction and Use of Contextual Attributes for Theory Completion: An Integration of Explanation-Based and Similarity-Based Learning
Andrea Pohoreckyj Danyluk
CUCS-006-92
A Structural Classification of Integrated Replica Control Mechanisms
Shu-Wie Chen and Calton Pu
CUCS-007-92
An Efficient Variable-Consistency Replicated File Service
Carl D. Tait and Dan Duchamp
CUCS-008-92
Secure Distributed Computing
Matthew K. Franklin
CUCS-009-92
Communication Complexity of Secure Computation
Matthew K. Franklin and Moti Yung
CUCS-010-92
MeldC Threads: Supporting Large-Scale Dynamic Parallelism
Wenwey Hseush and James C. Lee and Gail Kaiser
CUCS-011-92
Computers Without Clocks
Stephen H. Unger
CUCS-013-92
Rule-Based Process Servers for Software Development Environments
Steve Popovich
CUCS-014-92
Resource Freshness in Real-Time Scheduling
Shyhtsun F. Wu and Gail E. Kaiser
CUCS-015-92
Navigation by Isolated Landmarks
Il-Pyung Park
CUCS-016-92
A Bi-Level Language for Software Process Modeling
Gail E. Kaiser and Steven S. Popovich and Israel Z. Ben-Shaul
CUCS-017-92
Finding all periods and initial palindromes of a string in parallel
Dany Breslauer and Zvi Galil
CUCS-018-92
Towards provably secure efficient electronic cash
Matthew Franklin and Moti Yung
CUCS-019-92
Kuratowski-Type Theorems for Average Genus
Jainer Chen and Jonathan L. Gross
CUCS-020-92
Limit Points for Average Genus (I): 3-Connected and 2-Connected Simplical Graphs
Jainer Chan and Jonathan L. Gross
CUCS-021-92
Limit Points for Average Genus (II): 2-Connected Non-Simplicial Graphs
Jainer Chen and Jonathan L. Gross
CUCS-022-92
An On-Line String Superprimitivity Test
Dany Breslauer
CUCS-023-92
Extending User Expertise in Interactive Environments: A Task-Centered Approach to Automatic Assistance
Ursula Caroline Wolz
CUCS-024-92
Efficient String Algorithmics (Ph.D. Thesis)
Dany Breslauer
CUCS-025-92
A Survey of Empirical Measurements of Networked Software Systems
Frederick M. Korz
CUCS-026-92
Estimating the largest eigenvalue by the power and Lanczos algorithms with a random start
J. Kuczynski and H. Wozniakowski
CUCS-027-92
Probabilistic bounds on the extremal eigenvalues and condition number by the Lanczos algorithm
J. Kuczynski and H. Wozniakowski
CUCS-028-92
Relaxed verification for continuous problems", to appear in Journal of Complexity.
E. Novak and H. Wozniakowski
CUCS-029-92
Measures of uncertainty and information in computation", to appear in Journal of Information Science
E. W. Packel and J. F. Traub and H. Wozniakowski
CUCS-030-92
The Monte Carlo algorithm with a pseudo-random generator
J. F. Traub and H. Wozniakowski
CUCS-031-92
Complexity of verification and computation for IBC problems", to appear in Journal of Complexity.
H. Wozniakowski
CUCS-032-92
Average case complexity of linear multivariate problems. Part I: Theory
H. Wozniakowski
CUCS-033-92
Average case complexity of linear multivariate problems. Part II: Applications
H. Wozniakowski
CUCS-034-92
Visual Learning and Recognition in Parametric Eigenspace
Hiroshi Murase and Shree K. Nayar
CUCS-035-92
Linear ill-posed problems are solvable on the average for all Gaussian measures
J. F. Traub and A. G. Werschulz
CUCS-036-92
Finiteness of the set of frames of graphs of bounded average genus
Jianer Chen and Jonathan L. Gross
CUCS-037-92
Average case complexity of linear multivariate problems. Part II: Applications
H. Wozniakowski
CUCS-038-92
Planning in AI and Text Planning in Natural Language Generation
Lim, Jong Gyun
CUCS-039-92
Synthesis: An Efficient Implementation of Fundamental Operating System Services
Henry Massalin
CUCS-040-92
An Optimal O(log n) Time Parallel Algorithm for Detecting all Squares in a String
Alberto Apostolico and Dany Breslauer
CUCS-041-92
Fast Parallel String Prefix-Matching
Dany Breslauer
CUCS-042-92
Generating Newswire Report Leads with Historical Information: a Draft and Revision Approach
Jacques Robin
CUCS-043-92
Tailoring Lexical Choice to the User's Vocabulary in Multimedia Explanation Generation
Jacques Robin
CUCS-044-92
MeldC Runtime Kernel Implementation Guide
James C. Lee and Wenwey Hseush and Scott Meyer (Writer)
CUCS-045-92
Design & Implementation of the MeldC Translator
Esther Y. Woo
CUCS-046-92
Imaging-Consistent Reconstruction/Restoration and the Integrating Resampler
George Wolberg and Terry Boult
CUCS-047-92
Process Evolution for the Marvel Environment
Gail E. Kaiser and Israel Z. Ben-Shaul and George T. Heineman and Wilfredo Marrero
CUCS-048-92
PDBtool: A Prototype Object Oriented Toolkit for Protein Structure Verification
Calton Pu and K. P. Sheka and J. Ong and L. Chang, A. Chang and E. Alessio
CUCS-049-92
Tight Comparison Bounds for the String Prefix-Matching Problem
Dany Breslauer and Livio Colussi and Laura Toniolo
CUCS-050-92
Isochronets: a High-Speed Network Switching Architecture
Yechiam Yemini and Danilo Florissi
CUCS-051-92
On Hard Real-Time Management Information
Shyhtsun F. Wu and Gail E. Kaiser
CUCS-052-92
Saving Comparisons in the Crochemore-Perrin String Matching Algorithm
Dany Breslauer
CUCS-053-92
Testing String Superprimitivity in Parallel
Dany Breslauer
CUCS-054-92
Efficient Comparison Based String Matching
Dany Breslauer and Zvi Galil
CUCS-055-92
Reflectance Ratio: A Photometric Invariant for Object Recognition
Shree K. Nayar and Ruud M. Bolle
CUCS-056-92
Illumination Planning in Parametric Eigenspace
Hiroshi Murase and Shree K. Nayar
CUCS-057-92
Generalization of the Lambertian Model and Implications to Machine Vision
Michael Oren and Shree K. Nayar
CUCS-058-92
Removal of Specularities Using Color and Polarization
Shree K. Nayar and Xi-Sheng Fang and Terrance Boult

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