Browse

ftp://ftp.cs.columbia.edu (289)

	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-474-89.ps.gz, 19900316 Teleoperator Control of the Utah/MIT Dextrous Hand { A Functional Approach Amy Morishima Department of Computer Science Columbia University New York, NY 10027 Thomas H. Speeter Machine Perception Research Department AT&T Bell Laboratories Holmdel, NJ 07733 November 28, 1989
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-511-89a.ps.gz, 19900316 Integrated Analytic and Empirical Learning of Approximations for Intractable Theories Thomas Paul Ellman December 1989 CUCS-511-89 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY This research was
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-004-90.ps.gz, 19900316 An Object Oriented Approach to Content Planning for Text Generation Ursula Wolz Columbia University Department of Computer Science New York, NY 10027 Technical Report: CUCS-004-90 February 28, 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-003-90.ps.gz, 19900316 Constraint-based Text Generation Using Local Constraints and Argumentation to Generate a Turn in Conversation Michael Elhadad Department of Computer Science Columbia University New York, NY 10027 Elhadad@cs.columbia.edu CUCS-003-90 February 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-511-89b.ps.gz, 19900316 Integrated Analytic and Empirical Learning of Approximations for Intractable Theories Thomas Paul Ellman CUCS-511-89 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY December 1989 C 1989 Thomas
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-423-89.ps.gz, 19900316 Cost Function Error in Asynchronous Parallel Simulated Annealing Algorithms M. D. Durand Columbia University June, 1989 CUCS-423-89
	ftp://ftp.cs.columbia.edu/pub/reports/cancelled/cucs-005-90.ps.gz, 19900316 Detecting Conflicts in Multi{Agent Rule-Based Development Environments Naser S. Barghouti and Gail E. Kaiser Department of Computer Science, Columbia University New York, NY 10027 (212) 854-8182, naser@cs.columbia.edu March 5, 1990 Topic: Automated Reasoning Subtopics: Knowledge Acquisition and Expert
	ftp://ftp.cs.columbia.edu/pub/reports/cancelled/cucs-002-90.ps.gz, 19900316 Semantics for Safe Concurrency Wenwey Hseush++ Timothy S. Balraj Gail E. Kaiser Columbia University Department of Computer Science New York, NY 10027 (212) 854-8123 hseush@cs.columbia.edu Krish Ponamgi IBM Research Division Thomas J. Watson Research Center Yorktown Heights, NY 10598 6 February 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-511-89d.ps.gz, 19900316 Table of Contents 1. Introduction 1 1.1. Intractability and Machine Learning 1 1.1.1. The Ubiquity of Intractable Theories 1 1.1.2. A Machine Learning Approach to Intractability 1 1.1.3. Human Learning and Intractable Theories 2 1.1.4. Heuristics and Intractable Theories 3 1.1.5. Dimensions of Machine
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-461-89.ps.gz, 19900316 THE MELD PROGRAMMING LANGUAGE USER MANUAL Bill N. Schilit Wen-Wey Hseush Shyhtsun Felix Wu Steven S. Popovich Technical Report CUCS-461-89 Columbia University Department of Computer Science New York, NY 10027 28 September 1989 Copyright 1989 Bill Schilit, Wen-wey Hseush, Shyhtsun Felix Wu and Steven S.
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-451-89.ps.gz, 19900316 INDUCTIVE LEARNING WITH BCT Philip K. Chan CUCS-451-89 August, 1989 Department of Computer Science Columbia University New York, NY 10027 pkc@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-511-89c.ps.gz, 19900316 171 Chapter 5 Empirical Learning Results in POLLYANNA 5.1. Introduction The value of empirical learning is demonstrated by results of testing the theory space search (TSS) component of POLLYANNA. Empirical data shows approximations generated from generic simplifying assumptions to have widely varying
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-016-90.ps.gz, 19900329 A Comparison of Cache Performance in Server-Based and Symmetric Database Architectures Avraham Leff, Calton Pu, Frederick Korz Department of Computer Science Columbia University, New York, NY 10027 CUCS-016-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-014-90.ps.gz, 19900330 Redundancy Management in a Symmetric Distributed Main-Memory Database Calton Pu, Avraham Leff, Frederick Korz, Shu-Wie Chen Department of Computer Science Columbia University New York, NY 10027 Technical Report No. CUCS-014-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-010-90b.ps.gz, 19900331 Draft of March 25, 1990 An Incremental Priority-Based Solution to the Multiple Asynchronous Edit Problem Simon M. Kaplan University of Illinois at Urbana-Champaign Gail E. Kaisery Columbia University
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-013-90.ps.gz, 19900403 Network Management with Consistently Managed Objects by Wu & Kaiser 17 A. Borning, R. Duisberg, B. Freeman-Benson, A. Kramer and M. Woolf. Constraint Hierarchies. In OOPSLA '87, 48-59, Orlando FL, October 1987. R. Gotzhein. Knowledge-Oriented Consideration of Communication Protols. In IFIP WG
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-019-90b.ps.gz, 19900425 Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multi-User Software Development Environments Gail E. Kaiser Columbia University Department of Computer Science New York, NY 10027 212-854-3856 Kaiser@cs.columbia.edu Simon M. Kaplan University of Illinois at Urbana-Champaign
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-019-90a.ps.gz, 19900425 Contents 1 Introduction 2 2 Background 6 3 Centralized Parallel Attribute Evaluation 11 3.1 Synchronous Parallel Evaluation : : : : : : : : : : : : : : : : : : : : 11 3.2 Asynchronous Parallel Evaluation with a Single Cursor : : : : : : : : 15 3.3 Merging Models : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-017-90.ps.gz, 19900501 An Object-Oriented Framework for Modeling Cooperation in Multi-Agent Rule-Based Development Environments Naser S. Barghouti and Gail E. Kaisery Department of Computer Science, Columbia University New York, NY 10027 naser@cs.columbia.edu, (212) 854-8182 kaiser@cs.columbia.edu, (212) 854-3856 Technical
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-018-90b.ps.gz, 19900503 Interfacing Cooperative Transactions to Software Development Environments Gail E. Kaiser Columbia University Department of Computer Science New York, NY 10027 212-854-3856 Kaiser@cs.columbia.edu 2 April 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1988/cucs-364-88.ps.gz, 19900503 The RB Language Jonathan M. Smith Distributed Systems Laboratory Department of Computer and Information Science, University of Pennsylvania Philadelphia, PA 19104-6389 Gerald Q. Maguire, Jr. Computer Science Department, Columbia University, New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1988/cucs-325-88.ps.gz, 19900503 A Survey of Software Fault Tolerance Techniques Jonathan M. Smith Computer Science Department, Columbia University, New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-018-90a.ps.gz, 19900503 Interfacing Cooperative Transactions to Software Development Environments Gail E. Kaiser Columbia University Department of Computer Science New York, NY 10027 212-854-3856 Kaiser@cs.columbia.edu CUCS-018-90 2 April 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1988/cucs-366-88.ps.gz, 19900503 Rapid location of mount points JONATHAN M. SMITH Computer Science Department, Columbia University New York, New York 10027 SUMMARY ``Mount points'' allow more storage to be grafted into tree-structured hierarchical file systems. Administrative tasks use their locations, which are tabulated in a file. In
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1988/cucs-365-88.ps.gz, 19900503 Notes on the Implementation of a Remote Fork Mechanism Jonathan M. Smith John Ioannidis Computer Science Department Columbia University New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-021-90.ps.gz, 19900507 A Formalization and Implementation of Topological Visual Navigation in Two Dimensions John R. Kender Il-Pyung Park David Yang Department of Computer Science Columbia University New York, NY 10027 CUCS-021-90 April 30, 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-027-90.ps.gz, 19900529 A Framework for Immigrating Existing Software into New Software Development Environments Michael H. Sokolsky Gail E. Kaiser Columbia University Department of Computer Science TR CUCS-027-90 New York, NY 10027 sokolsky@cs.columbia.edu, 212-854-8348 kaiser@cs.columbia.edu, 212-854-3856 May 29, 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-030-90.ps.gz, 19900628 Approximate Polynomial Division with a Remainder by Means of Evaluation and Interpolation Victor Pan ); ); ); ) , Elliot Landowne ) and Akimou Sadikou ) CUCS-030-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-029-90.ps.gz, 19900628 Improved parallel polynomial division Dario Bini Victor Pan Department of Mathematics Dept. of Comp. Sci. University of Pisa Columbia University; Department of Math. & Comp. Sci. Lehman College, CUNY CUS-029-90 Summary. We compute the first N coefficients of the reciprocal r(x), r(x)p(x) = 1 mod xN
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-024-90.ps.gz, 19900628 On the evaluation of the eigenvalues of a banded Toeplitz block matrix Dario Bini, Dipartimento di Matematica, Universit a di Pisa (supported by NSF Grant CCR 8805782 and by the Italian MPI 40% funds); Victor Pan, Department of Computer Science, Columbia University, New York, NY 10027; Department of
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-023-90.ps.gz, 19900628 Parallel Least-Squares Solution of General and Toeplitz-like Linear Systems V. Pan Department of Computer Science, Columbia University New York, NY 10027 and Department of Mathematics and Computer Science Lehman College, CUNY, Bronx, NY 10468 and Department of Computer Science, SUNYA, Albany, NY 12222
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-025-90.ps.gz, 19900628 COMPUTING MATRIX EIGENVALUES AND POLYNOMIAL ZEROS WHERE THE OUTPUT IS REAL. Dario Bini, Dipartimento di Matematica, Universit a di Pisa.* Victor Pan, Department of Computer Science, Columbia University, New York, NY 10027; Department of Mathematics and Computer Science, Lehman College, City University
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-026-90.ps.gz, 19900628 On a Recursive Triangular Factorization of Matrices V. Pan Department of Computer Science Columbia University New York, NY 10027 and Department of Mathematics and Computer Science Lehman College CUNY, Bronx, NY 10468 and Albany, NY 12222 (Supported by NSF Grant CCR-8805782 and by PSC-CUNY Awards
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-041-90.ps.gz, 19900814 REFERENCES 5 References L. Chen and A. Avizienis. N-Version programming: A fault-tolerance approach to reliability of software operation. In Eighth Annual International Conference on Fault-Tolerant Computing, pages 3, Toulouse, France, June 1978. S. Conte, H. Dunsmore, and V. Shen. Software
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-036-90.ps.gz, 19900830 Understanding Data Refinement Using Procedural Refinement Steven M. Kearns Computer Science 450 Columbia University New York, NY 10027 Revised July 26, 1990 Columbia University Technical Report CUCS-036-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-037-90.ps.gz, 19901004 TLex v.68 User s Manual Columbia University Technical Report CUCS-037-90 Steven M. Kearns Columbia University, 450 Computer Science, 500 W. 120th St. New York, NY 10027, U.S.A. HLH Associates 1 W. 85th St. Apt. 3D New York, NY 10024
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-048-90a.ps.gz, 19901016 Dynamic Reconfiguration in an Object-Based Programming Language with Distributed Shared Data Brent Hailpern Gail E. Kaiser Columbia University Department of Computer Science New York, NY 10027 CUCS-048-90 12 October 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-048-90b.ps.gz, 19901016 Dynamic Reconfiguration in an Object-Based Programming Language with Distributed Shared Data Brent Hailpern IBM Old Orchard Road Armonk, NY 10504 914-765-6481 bth@ibm.com Gail E. Kaiser Columbia University Department of Computer Science New York, NY 10027 212-854-3856 kaiser@cs.columbia.edu 12 October
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-047-90.ps.gz, 19901101 Consistency and Automation in Multi-User Rule-Based Development Environments Naser S. Barghouti and Gail E. Kaiser Columbia University Department of Computer Science New York, NY 10027 naser@cs.columbia.edu, (212) 854-8182 kaiser@cs.columbia.edu, (212) 854-3856 Technical Report CUCS-047-90 31 October
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-040-90.ps.gz, 19901120 LEXICAL CHOICE IN NATURAL LANGUAGE GENERATION Jacques Robin 7 September 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-051-90.ps.gz, 19901205 An Object-Based Approach to Implementing Distributed Concurrency Control Steven S. Popovich Gail E. Kaiser Shyhtsun F. Wu Columbia University Department of Computer Science New York, NY 10027 CUCS-051-90 20 November 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-031-90.ps.gz, 19901220 Complexity of Computations with Matrices and Polynomials Victor Pan Department of Computer Science, Columbia University, New York, NY 10027 Computer Science Department State University of New York at Albany Albany, New York 12222 and Mathematics and Computer Science Department Lehman College, CUNY
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-046-90a.ps.gz, 19910111 David Garlan Gail E. Kaiser David Notkin Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 CUCS-034-90 November 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-512-89b.ps.gz, 19910111 delim $$ A model is useful primarily for the insight it provides about particular instances and collections of instances. By abstracting away non-essential details that often differ in trivial ways from instance to instance and by generalizing the essential details into the components of the model, we
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-046-90b.ps.gz, 19910111 An Object-Based Programming Model for Shared Data Gail E. Kaiser Brent Hailpern Columbia University IBM Research Division Department of Computer Science T.J. Watson Research Center New York, NY 10027 Yorktown Heights, NY 10598 kaiser@cs.columbia.edu bth@ibm.com 21 December 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-032-90.ps.gz, 19910117 PARAMETRIZATION OF NEWTON'S ITERATION FOR COMPUTATIONS WITH STRUCTURED MATRICES AND APPLICATIONS Victor Pan Department of Computer Science Columbia University New York, NY 10027 Department of Mathematics and Computer Science Lehman College CUNY, Bronx, NY 10468 and Department of Computer Science, SUNYA
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-497-89.ps.gz, 19910122 Techniques for Building Highly Available Distributed File Systems Carl D. Tait 13 March 1990 CUCS-497-89 Columbia University Department of Computer Science New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-050-90.ps.gz, 19910122 Detection and Exploitation of File Working Sets Carl D. Tait tait@cs.columbia.edu Dan Duchamp duchamp@cs.columbia.edu Computer Science Department Columbia University New York, NY 10027 CUCS-050-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-066-90.ps.gz, 19910124 Dynamic Programming with Convexity, Concavity, and Sparsity Zvi Galil 1;2 and Kunsoo Park 1 CUCS-066-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-063-90.ps.gz, 19910124 Complexity of Mortgage Pool Allocation Salvatore J. Stolfo Xiangdong Yu Department of Computer Science Columbia University New York, NY 10027 and Center for Advanced Technology New York, NY 10027 September 30, 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-001-90.ps.gz, 19910127 Incremental Algorithms for Minimal Length Paths 1 Giorgio Ausiello 2 Giuseppe F. Italiano 2;3 Alberto Marchetti Spaccamela 4 Umberto Nanni 2;4;5 Technical Report Columbia University CUCS-001-90 January 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-010-90a.ps.gz, 19910127 An Incremental Priority-Based Solution to the Multiple Asynchronous Edit Problem Simon M. Kaplan University of Illinois at Urbana-Champaign Department of Computer Science Urbana, IL 61801 Gail E. Kaisery Columbia University Department of Computer Science New York, NY 10027 March 30, 1990 CUCS-010-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-067-90a.ps.gz, 19910129 INVERSION OF TOEPLITZ MATRICES WITH ONLY TWO STANDARD EQUATIONS. George Labahn Department of Computer Science University of Waterloo Waterloo Ontario Canada N2L-3G1 Tamir Shalom Department of Computer Science Columbia University New York NY 10027 USA CUCS-067-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-065-90b.ps.gz, 19910129 1.0 Introduction It is hard to precisely define what the "vision problem" is since such definitions in the literature have not always been consistent. A reasonable definition might be : Given an image, construct a reasonable hypothesis for the 3D scene that generated the image. Even people rarely know
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-064-90b.ps.gz, 19910129 1.0 Introduction Many objects in both the man-made world and nature exhibit some degree of symmetry. Formally, an object exhibits symmetry whenever it can be divided into two or more parts which can be permuted by the application of certain isometries which leave the original object unchanged . Two
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-065-90a.ps.gz, 19910129 Shape from a Symmetric Universe CUCS-065-90 Ari Gross Department of Computer Science Columbia University New York, NY 10027 ari@cs.columbia.edu December 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-064-90a.ps.gz, 19910129 Analyzing Skewed Symmetries CUCS-064-90 Ari Gross and Terrance Boult Department of Computer Science Columbia University New York, NY 10027 ari@cs.columbia.edu, tboult@cs.columbia.edu, December 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-054-90.ps.gz, 19910202 Epsilon-Serializability Calton Pu and Avraham Leff Department of Computer Science Columbia University New York, NY 10027 Technical Report No. CUCS-054-90 calton@cs.columbia.edu Revised January 31, 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-053-90.ps.gz, 19910202 Replica Control in Distributed Systems: An Asynchronous Approach Calton Pu and Avraham Leff Department of Computer Science Columbia University New York, NY 10027 Technical Report No. CUCS-053-90 calton@cs.columbia.edu January 8, 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-035-90.ps.gz, 19910205 REAL-TIME VISUAL SERVOING Peter K. Allen Billibon Yoshimi Aleksandar Timcenko Department of Computer Science Columbia University New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-052-90a.ps.gz, 19910212 MORTGAGE POOL ALLOCATION BY SIMULATED ANNEALING Eugene Pinsky Computer Science Department Boston University Paul Fahn and Yechiam Yemini Center for Advanced Technology Columbia University CUCS-052-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-052-90c.ps.gz, 19910213 After Annealing Before Annealing Improvement Improvement Ratio 0.00 5.00 10.00 15.00 20.00 25.00 30.00 35.00 40.00 45.00 50.00 55.00 60.00 65.00 70.00 75.00 80.00 85.00 90.00 95.00 100.00 1.00 1.20 1.40 1.60 1.80 2.00
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-052-90d.ps.gz, 19910213 Percent of profit 3 Iterations x 10 90.00 90.50 91.00 91.50 92.00 92.50 93.00 93.50 94.00 94.50 95.00 95.50 96.00 96.50 97.00 97.50 98.00 98.50 99.00 99.50 100.00 0.00 1.00 2.00 3.00
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-052-90b.ps.gz, 19910213 Energy x 10-3 -3 T x 10 200.00 220.00 240.00 260.00 280.00 300.00 320.00 340.00 360.00 380.00 400.00 420.00 440.00 460.00 480.00 500.00 0.00 1.00 2.00 3.00 4.00
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-425-89a.ps.gz, 19910219 Concurrency Control in Advanced Database Applications Naser S. Barghouti and Gail E. Kaiser Columbia University Department of Computer Science New York, NY 10027 CUCS-425-89 29 May 1990 Accepted for publication in ACM Computing Surveys.
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-425-89b.ps.gz, 19910219 Concurrency Control in Advanced Database Applications Naser S. Barghouti and Gail E. Kaiser Columbia University Department of Computer Science New York, NY 10027 29 May 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-039-90.ps.gz, 19910219 Modeling Regular and Safe Concurrent Processes (Technical Summary) Wenwey Hseush++ Timothy S. Balraj+++ Gail E. Kaiser Columbia University Department of Computer Science New York, NY 10027 (212) 854-8123 hseush@cs.columbia.edu Fax: (212) 666-0140 22 August 1990 CUCS-039-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-512-89a.ps.gz, 19910222 Models of Software Development Environments Dewayne E. Perry and Gail E. Kaiser Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 CUCS-512-89 August 1990 Copyright 1991 Dewayne E. Perry and Gail E. Kaiser
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-004-91.ps.gz, 19910226 Adaptive Remote Paging for Mobile Computers Bill N. Schilit and Dan Duchamp Department of Computer Science Columbia University 500 West 120th St. Room 450 New York, N.Y. 10027 TR CUCS-004-91 February 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-042-90.ps.gz, 19910306 Porting AIX onto the Student Electronic Notebook John Ioannidis, Gerald Q. Maguire Jr. Israel Ben-Shaul, Marios Levedopoulos, Micky Liu Department of Computer Science Columbia University Technical Report No. CUCS-042-90 December 12, 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-055-90.ps.gz, 19910306 PIP-1: A Personal Information Portal with wireless access to an information infrastructure John Ioannidis Gerald Q. Maguire Jr. 450 Computer Science Columbia University New York, NY 10027 ji@cs.columbia.edu, maguire@cs.columbia.edu Technical Report No. CUCS-055-90 DRAFT
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-043-90.ps.gz, 19910306 The Coherent File Distribution Protocol John Ioannidis Gerald Q. Maguire Jr. Department of Computer Science Columbia University Technical Report No. CUCS-043-90 Abstract CFDP is a protocol that takes advantage of the broadcast nature of CSMA networks to speed up simultaneous one-to-many file transfers
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-044-90.ps.gz, 19910314 A Measurement Methodology for Wide Area Internets Calton Pu, Frederick Korz, and Robert C. Lehman1 Department of Computer Science Columbia University New York, NY 10027 Technical Report No. CUCS-044-90 Revised { March 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-034-90h.ps.gz, 19910416 tributed workstation environment. In P. Henderson, editor, SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 10412, Pittsburgh PA, April 1984. Special issue of SIGPLAN Notices, 19(5), May 1984. H. F. Korth and A. Silberschatz. Database System
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-034-90g.ps.gz, 19910416 D. S. Wile and D. G. Allard. Worlds: an organizing structure for object-bases. In P. Henderson, editor, SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 166, Palo Alto CA, December 1986. Special issue of SIGPLAN Notices, 22(1), January 1987.
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-034-90f.ps.gz, 19910416 1{8, Portland OR, September 1986. ACM. Special issue of SIGPLAN Notices, 21(11), November 1986. 26 Box C: Active Data in Object-Oriented Systems Many object-oriented programming languages support some form of event-driven control. This style of control is often used, for instance, to update gauges and
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-034-90c.ps.gz, 19910416 Composing Systems Using Tool Abstraction David Garlan Gail E. Kaiser David Notkin Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 CUCS-034-90 November 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-034-90a.ps.gz, 19910416 Composing Systems Using Tool Abstraction David Garlan Tektronix Laboratories P.O. Box 500, MS 50-662 Beaverton, OR 97077 Gail E. Kaiser y Columbia University Department of Computer Science New York, NY 10027 David Notkin z University of Washington Department of Computer Science & Engineering, FR-35
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-034-90b.ps.gz, 19910416 Introduction The management of complexity and support for evolution are two fundamental problems with large scale software systems . Modularization has long been accepted as the basic approach to managing complexity. However, nearly two decades ago David Parnas observed that not all modularizations
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-034-90e.ps.gz, 19910416 References A. N. Habermann and D. Notkin. Gandalf: Software development environments. IEEE Transactions on Software Engineering, SE-12(12):1117127, December 1986. T. Reps and T. Teitelbaum. Language processing in program editors. Computer, 20(11):290, November 1987. T. Reps. Generating
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-034-90d.ps.gz, 19910416 References R. Ross. Design of Personal Computer Software, pages 28200. IEEE Press, New York, 1985. 22 Box A: Spreadsheets Spreadsheet programs have gained enormous popularity as flexible, extensible tools for financial accounting . A spreadsheet can be viewed as a shared data pool represented
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-019-91.ps.gz, 19910503 Contents 1 Introduction 1 1.1 Overview of the Dissertation : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.2 Methods of Analysis : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.3 Models of Computation : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2 Dynamic
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-017-91.ps.gz, 19910503 Maintaining the 3-Edge-Connected Components of a Graph On-Line Zvi Galil Columbia University, and Tel-Aviv University Giuseppe F. Italianoy Columbia University, and Universit a di Roma, Italy
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-016-91.ps.gz, 19910503 Fully Dynamic Algorithms for 2-Edge Connectivity Zvi Galil Columbia University, and Tel-Aviv University Giuseppe F. Italianoy Columbia University, and Universit a di Roma, Italy
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-010-91a.ps.gz, 19910503 An Object Management System for Multi-User Programming Environments Israel Z. Ben-Shaul Columbia University Department of Computer Science New York, NY 10027 212-854-2930 israel@cs.columbia.edu Technical Report CUCS-010-91 -- MS Thesis -- Thesis Committee : Professors Gail E. Kaiser and Ouri Wolfson. 30
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-018-91.ps.gz, 19910503 Maintaining Biconnected Components of Dynamic Planar Graphs Zvi Galil Columbia University, and Tel-Aviv University Giuseppe F. Italiano y Columbia University, and Universit a di Roma, Italy
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-010-91b.ps.gz, 19910503 Preface Over a year ago, the Programming Systems Group at Columbia University (also known as ``frodo''), headed by Prof. Gail Kaiser, decided to upgrade MARVEL, a prototype process-based software development environment, from a single-task single-user system, into a multi-tasking multi-user system.
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-006-91a.ps.gz, 19910503 IP-based Protocols for Mobile Internetworking John Ioannidis Dan Duchamp Gerald Q. Maguire Jr. Department of Computer Science Columbia University New York, NY 10027 ji@cs.columbia.edu CUCS-006-91
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-006-91b.ps.gz, 19910503 gw1 gw2 gw3 campus gw h1 h2 m1m2m3 m4 m5 m6 h3 h4 h5 s5s1 s2 s3 s4 c1 c2 c3 c4 n2n1 n0 n3 n4
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-011-91a.ps.gz, 19910513 1 The SPLENDORS Real Time Portfolio Management System (Extended Abstract) Tushar M. Patel Gail E. Kaiser Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 CUCS-011-91 14 April 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-013-91a.ps.gz, 19910513 1 Debugging Multi-Threaded Programs with MpD M. Krish Ponamgi Wenwey Hseush Gail E. Kaiser Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 CUCS-013-91 February 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-013-91b.ps.gz, 19910513 Debugging Multi-Threaded Programs with MpD M. Krish Ponamgi Wenwey Hseush Gail E. Kaiser Columbia University Introduction We have developed a Multi-processor Debugger, MpD, based on Data Path Expressions and Predecessor Automata. Data Path Expressions (DPEs) is a debugger command language for the
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-011-91b.ps.gz, 19910513 The SPLENDORS Real Time Portfolio Management System (Extended Abstract) * Gail E. Kaiser Tushar M. Patel Columbia University IBM Department of Computer Science 42FA/235 500 West 120th Street Neighborhood Road New York, NY 10027 Kingston NY 12401 212-854-3856 914-385-8638 kaiser@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-022-91.ps.gz, 19910518 Rule Chaining in Marvel: Dynamic Binding of Parameters George T. Heinemany Gail E. Kaiserz Naser S. Barghoutiy Israel Z. Ben-Shaulx CUCS-022-91 May 6, 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-024-91.ps.gz, 19910521 Execution Autonomy in Distributed Transaction Processing Calton Pu and Avraham Leff Department of Computer Science Columbia University New York, NY 10027 Technical Report No. CUCS-024-91
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-020-91.ps.gz, 19910612 CONTROL IN FUNCTIONAL UNIFICATION GRAMMARS FOR TEXT GENERATION Michael Elhadad Jacques Robin Technical Report CUCS-020-91 Department of Computer Science Columbia University New York, NY 10027 Elhadad@cs.columbia.edu Robin@cs.columbia.edu Topic Area: Text generation, Functional Unification Grammars,
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-005-91.ps.gz, 19910620 A Lock-Free Multiprocessor OS Kernel Henry Massalin and Calton Pu Department of Computer Science Columbia University New York, NY 10027 Technical Report No. CUCS-005-91 calton@cs.columbia.edu Revised June 19, 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-060-90.ps.gz, 19910726 GETTING AND KEEPING THE CENTER OF ATTENTION1 Rebecca J. Passonneau Columbia University Technical Report: CUCS-060-90
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-033-90a.ps.gz, 19910814 Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements Josephine Micallef Gail E. Kaiser Bellcore Columbia University 445 South Street Department of Computer Science Morristown, NJ 07962 New York, NY 10027 (201) 829-4227 (212) 854-3856 Fax: (201) 455-1931 Fax: (212)
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-033-90b.ps.gz, 19910814 Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements Josephine Micallef Gail E. Kaiser Bellcore Columbia University 445 South Street Department of Computer Science Morristown, NJ 07962 New York, NY 10027 (201) 829-4227 (212) 854-3856 Fax: (201) 455-1931 Fax: (212)
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-026-91.ps.gz, 19910903 An Architectural Framework for Object Management Systems (Area Paper) Steven S. Popovich Columbia University Department of Computer Science New York, NY 10027 CUCS-026-91 3 September 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-012-91b.ps.gz, 19910911 Dynamic Restructuring of Transactions Gail E. Kaiser and Calton Pu Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 kaiser@cs.columbia.edu, 212-854-3856 calton@cs.columbia.edu, 212-854-8110 Fax: 212-666-0140 August 21, 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-012-91a.ps.gz, 19910911 Dynamic Restructuring of Transactions Gail E. Kaiser and Calton Pu Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 kaiser@cs.columbia.edu, 212-854-3856 calton@cs.columbia.edu, 212-854-8110 Fax: 212-666-0140 CUCS-012-91 April 1991 (revised August 1991)
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-027-91.ps.gz, 19910913 Implementing Activity Structures Process Modeling On Top Of The MARVEL Environment Kernel Final Report for Software Design & Analysis, Inc. Gail E. Kaiser, Israel Z. Ben-Shaul and Steven S. Popovich Columbia University Department of Computer Science New York, NY 10027 CUCS-027-91 13 September 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-028-91.ps.gz, 19910920 Service Interface and Replica Management Algorithm for Mobile File System Clients Carl D. Tait and Dan Duchamp Computer Science Department Columbia University New York, NY 10027 tait@cs.columbia.edu, djd@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-029-91.ps.gz, 19911003 An Architecture for Dynamic Reconfiguration in a Distributed Object-Based Programming Language Brent Hailpern Gail E. Kaiser IBM Columbia University Old Orchard Road Department of Computer Science Armonk, NY 10504 New York, NY 10027 914-765-6481 212-854-3856 bth@watson.ibm.com kaiser@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-030-91.ps.gz, 19911007 Real-time Portfolio Management and Automatic Extensions: MS Thesis Tushar M. Patel IBM 42FA/235 Neighborhood Road Kingston NY 12401 Columbia University Department of Computer Science New York, NY 10027 tushar@cs.columbia.edu 7 October 1991 CUCS-030-91 Thesis Committee: Gail E. Kaiser, Columbia
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-038-91.ps.gz, 19911025 FUF: the Universal Unifier User Manual Version 5.0 Michael Elhadad Department of Computer Science Columbia University New York, NY 10027 Elhadad@cs.columbia.edu 23 October 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-041-91.ps.gz, 19911127 Machine Learning in Molecular Biology Sequence Analysis Philip K. Chan Department of Computer Science Columbia University New York, NY 10027 pkc@cs.columbia.edu (212) 854-8100 CUCS-041-91 November 27, 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-014-91.ps.gz, 19911219 Extending A Tool Integration Language Mark A. Gisi Gail E. Kaisery Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 kaiser@cs.columbia.edu Technical Report CUCS-014-91
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1989/cucs-421-89.ps.gz, 19920202 A Visual Language for Browsing, Undoing, and Redoing Graphical Interface Commands David Kurlander Steven Feiner Department of Computer Science 450 Computer Science Building Columbia University New York, NY 10027 djk@cs.columbia.edu feiner@cs.columbia.edu February 1989
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-044-91.ps.gz, 19920202 A Formal Characterization of Epsilon Serializability Krithi Ramamritham1 Dept. of Computer Science University of Massachusetts Amherst MA 01003 Calton Pu2 Dept. of Computer Science Columbia University New York, NY 10027 Technical Report No. CUCS-044-91
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-033-91.ps.gz, 19920223 Marvel 3.0 User's Manual Programming Systems Laboratory Columbia University Computer Science Building 500 West 120th St New York, NY 10027 (212)-854-2736 fax:(212)-666-0140 TR CUCS{033-91 October 25, 1991 c 1991, Programming Systems Laboratory All Rights Reserved The Programming Systems Laboratory is
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-032-91.ps.gz, 19920223 Marvel 3.0 Administrator's Manual Programming Systems Laboratory Columbia University 450 Computer Science Building New York, NY 10027 (212) - 854-2736 fax: (212) - 666-0140 TR CUCS{032-91 October 9, 1991 c 1991, Programming Systems Laboratory All Rights Reserved The Programming Systems Laboratory is
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-002-92.ps.gz, 19920302 Parallel string matching algorithms Dany Breslauery Columbia University Zvi Galil Columbia University and Tel-Aviv University CUCS-002-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-003-92.ps.gz, 19920302 A Lower Bound for Parallel String Matching Dany Breslauery Columbia University Zvi Galilz Columbia University and Tel-Aviv University CUCS-003-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-036-91b.ps.gz, 19920321 Empirical Studies on the Disambiguation of Cue Phrases Julia Hirschberg AT&T Bell Laboratories 600 Mountain Avenue Murray Hill, NJ 07974 julia@research.att.com Diane Litmany Department of Computer Science Columbia University New York, NY 10027 litman@cs.columbia.edu October 22, 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-036-91a.ps.gz, 19920321 Taxonomic Plan Reasoning Premkumar T. Devanbu Diane J. Litman Artificial Intelligence Principles Research Department AT&T Bell Laboratories 600 Mountain Avenue Murray Hill, New Jersey 07974 October 11, 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-005-92.ps.gz, 19920321 Extraction and Use of Contextual Attributes for Theory Completion: An Integration of Explanation-Based and Similarity-Based Learning Andrea Pohoreckyj Danyluk CUCS-005-92 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-008-92.ps.gz, 19920326 An Overview of Secure Distributed Computing Matthew Franklin Columbia University Zvi Galil Columbia University and Tel Aviv University Moti Yung IBM Research Division
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-009-92.ps.gz, 19920326 A. Yao, How to generate and exchange secrets," IEEE FOCS 1986, pp. 162-167. 7 Acknowledgments We thank Zvi Galil for many helpful discussions, and Benny Chor, Oded Goldreich, and Stuart Haber for useful comments on earlier versions of this paper. References J. Bar-Ilan and D. Beaver,
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-006-92.ps.gz, 19920403 A Structural Classification of Integrated Replica Control Mechanisms Shu-Wie Chen and Calton Pu Department of Computer Science Columbia University New York, NY 10027 swfc@cs.columbia.edu Phone (212) 854-8182 FAX (212) 666-0140 Technical Report CUCS-006-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-007-92.ps.gz, 19920414 An Efficient Variable-Consistency Replicated File Service Carl D. Tait and Dan Duchamp Computer Science Department Columbia University New York, NY 10027 ftait,djdg@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-015-92.ps.gz, 19920415 Navigation by Isolated Landmarks Il-Pyung Park Department of Computer Science Columbia University New York, NY 10027 CUCS-015-92 April 1992
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-010-92.ps.gz, 19920421 MeldC Threads: Supporting Large-Scale Dynamic Parallelism Wenwey Hseush James C. Lee Gail E. Kaiser Columbia University Department of Computer Science 500 W. 120th Street New York, NY 10027 (212) 854-8123 Fax: (212) 666-0140 hseush@cs.columbia.edu Technical Report CUCS-010-92 24 March 1992 Copyright
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-017-92.ps.gz, 19920424 Finding all periods and initial palindromes of a string in parallel Dany Breslauery Columbia University Zvi Galil Columbia University and Tel-Aviv University CUCS-017-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-018-92.ps.gz, 19920424 Towards Provably Secure Efficient Electronic Cash (extended abstract) Matthew Franklin Columbia University Computer Science Department, New York, NY 10027 Moti Yung IBM Research Division, T.J. Watson Center, Yorktown, NY 10598 April 24, 1992
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-020-92.ps.gz, 19920428 Limit Points for Average Genus (I) : 3-Connected and 2-Connected Simplicial Graphs Jianer Chen1 Computer Science Department Texas A&M University College Station, TX 77843-3112 Jonathan L. Gross2 Department of Computer Science Columbia University New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-019-92.ps.gz, 19920428 Kuratowski-Type Theorems for Average Genus Jianer Chen1 Computer Science Department Texas A&M University College Station, TX 77843-3112 Jonathan L. Gross2 Department of Computer Science Columbia University New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-021-92.ps.gz, 19920428 Limit Points for Average Genus (II) : 2-Connected Non-simplicial Graphs Jianer Chen1 Computer Science Department Texas A&M University College Station, TX 77843-3112 Jonathan L. Gross2 Department of Computer Science Columbia University New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-014-92.ps.gz, 19920429 Resource Freshness in Real Time Scheduling Shyhtsun F. Wu Gail E. Kaiser y Columbia University Department of Computer Science New York, NY 10027 Tel: 212-854-8182, Fax: 212-666-0140 fwu, kaiserg@cs.columbia.edu Technical Report CUCS-014-92 April 29, 1992 c 1992, Shyhtsun Felix Wu and Gail E. Kaiser All
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-022-92.ps.gz, 19920508 An On-Line String Superprimitivity Test Dany Breslauer Columbia University CUCS-022-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-012-92.ps.gz, 19920511 An Architecture for Multi-User Software Development Environments Israel Z. Ben-Shaul Gail E. Kaiser George T. Heineman Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 (212) 854-2736 fax: (212) 666-0140 israel@cs.columbia.edu TR CUCS{012-92 May 11, 1992
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-024-92.ps.gz, 19920526 Efficient String Algorithmics (Ph.D. Thesis) Dany Breslauer CUCS-024-92 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 1992 c 1992 Dany Breslauer All Rights Reserved Efficient String Algorithmics
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-043-92.ps.gz, 19920617 Tailoring Lexical Choice to the User's Vocabulary in Multimedia Explanation Generation Kathleen McKeown Jacques Robin Michael Tanenblatt Department of Computer Science 450 Computer Science Building Columbia University New York, N.Y. 10027 mckeown@cs.columbia.edu robin@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-038-92.ps.gz, 19920712 1 Planning in AI and Text Planning in Natural Language Generation Jong-Gyun Lim Columbia University Department of Computer Science New York, NY 10027 12 July 1992 CUCS-038-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-026-92.ps.gz, 19920812 Estimating the Largest Eigenvalue by the Power and Lanczos Algorithms with a Random Start J. Kuczy nski Institute of Computer Science, Polish Academy of Sciences H. Wo zniakowski Department of Computer Science, Columbia University and Institute of Informatics, University of Warsaw July, 1989 CUCS-026-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-028-92.ps.gz, 19920812 RELAXED VERIFICATION FOR CONTINUOUS PROBLEMS E. Novak Mathematisches Institut, Universit at Erlangen-N urnberg H. Wo zniakowski Department of Computer Science, Columbia University and Institute of Applied Mathematics, University of Warsaw CUCS-028-92 October, 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-037-92.ps.gz, 19920812 AVERAGE CASE COMPLEXITY OF LINEAR MULTIVARIATE PROBLEMS PART II: APPLICATIONS H. Wo zniakowski Department of Computer Science, Columbia University and Institute of Applied Mathematics, University of Warsaw CUCS-037-92 November 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-031-92.ps.gz, 19920812 COMPLEXITY OF VERIFICATION AND COMPUTATION FOR IBC PROBLEMS H. Wo zniakowski Department of Computer Science, Columbia University and Institute of Informatics, University of Warsaw CUCS-031-92 December, 1990
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-032-92.ps.gz, 19920812 AVERAGE CASE COMPLEXITY OF LINEAR MULTIVARIATE PROBLEMS PART I: THEORY H. Wo zniakowski Department of Computer Science, Columbia University and Institute of Applied Mathematics, University of Warsaw CUCS-032-92 November 1991
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-030-92.ps.gz, 19920812 THE MONTE CARLO ALGORITHM WITH A PSEUDO{RANDOM GENERATOR J. F. Traub Department of Computer Science, Columbia University H. Wo zniakowski Department of Computer Science, Columbia University and Institute of Informatics, University of Warsaw CUCS-030-92 December, 1989
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-027-92.ps.gz, 19920812 Probabilistic Bounds on the Extremal Eigenvalues and Condition Number by the Lanczos Algorithm J. Kuczy nski Institute of Computer Science, Polish Academy of Sciences H. Wo zniakowski Department of Computer Science, Columbia University and Institute of Applied Mathematics, University of Warsaw February,
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-025-92.ps.gz, 19920908 A Survey of Empirical Measurements of Networked Software Systems Frederick M. Korz Department of Computer Science Columbia University New York, NY 10027 Technical Report No. CUCS-025-92 June 24, 1992
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-042-92.ps.gz, 19920909 Generating Newswire Report Leads with Historical Information: a Draft and Revision Approach Jacques Robin (PhD. Thesis Proposal) Technical Report CUCS-042-92 Department of Computer Science Columbia University New York, NY 10027 September 9, 1992
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-016-92.ps.gz, 19920914 A Bi-Level Language for Software Process Modeling Gail E. Kaiser, Steven S. Popovich and Israel Z. Ben-Shaul Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 212-939-7000/fax: 212-666-0140 {kaiser,popovich,israel}@cs.columbia.edu CUCS-016-92 14 September 1992
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-039-92.ps.gz, 19920921 Synthesis: An Efficient Implementation of Fundamental Operating System Services Henry Massalin Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences. Columbia University 1992 c Henry Massalin 1992 ALL RIGHTS RESERVED
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-040-91.ps.gz, 19920922 Parallel Dynamic Programming Zvi Galil Department of Computer Science Columbia University, New York, 10027, USA and Tel-Aviv University, Tel-Aviv, Israel Kunsoo Park Department of Computing King's College London Strand, London WC2R 2LS, UK 1
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-013-92.ps.gz, 19920924 Rule-Based Process Servers for Software Development Environments (Thesis Proposal) Steven S. Popovich Columbia University Department of Computer Science New York, NY 10027 CUCS-013-92 14 April 1992 Advisor: Prof. Gail E. Kaiser Copyright 1992 Steven S. Popovich The author is supported in part by NASA
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-004-92.ps.gz, 19920928 A Survey of Image Registration Techniques Lisa Gottesfeld Brown Department of Computer Science Columbia University New York, NY 10027 January 12, 1992
	ftp://ftp.cs.columbia.edu/pub/reports/tr7587.ps.gz, 19921014 Columbia University in the City of New York Department of Computer Science (212) 854-2736 New York, NY 10027 tech-reports@cs.columbia.edu TECHNICAL REPORTS LIST The Computer Science Department at Columbia University is pleased to announce the enclosed list of technical reports and abstracts for
	ftp://ftp.cs.columbia.edu/pub/reports/tr91.ps.gz, 19921014 Columbia University in the City of New York Department of Computer Science (212) 854-2736 New York, NY 10027 tech-reports@cs.columbia.edu TECHNICAL REPORTS LIST The Computer Science Department at Columbia University is pleased to announce the enclosed list of technical reports and abstracts for 1991. If
	ftp://ftp.cs.columbia.edu/pub/reports/tr8889.ps.gz, 19921014 Columbia University in the City of New York Department of Computer Science (212) 854-2736 New York, NY 10027 tech-reports@cs.columbia.edu TECHNICAL REPORTS LIST The Computer Science Department at Columbia University is pleased to announce the enclosed list of technical reports and abstracts for
	ftp://ftp.cs.columbia.edu/pub/reports/tr90.ps.gz, 19921014 Columbia University in the City of New York Department of Computer Science (212) 854-2736 New York, NY 10027 tech-reports@cs.columbia.edu TECHNICAL REPORTS LIST The Computer Science Department at Columbia University is pleased to announce the enclosed list of technical reports and abstracts for 1990. If
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-041-92.ps.gz, 19921014 Fast Parallel String Prefix-Matching Dany Breslauer Columbia University CUCS-041-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-036-92.ps.gz, 19921019 Finiteness of the Set of Frames of Graphs of Bounded Average Genus Jianer Chen1 Computer Science Department Texas A&M University College Station, TX 77843-3112 Jonathan L. Gross2 Department of Computer Science Columbia University New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-047-91.ps.gz, 19921202 Knowledge Representation and Reasoning with Definitional Taxonomies Robert A. Weida Department of Computer Science Columbia University Technical Report CUCS-047-91 Copyright 1991, Robert A. Weida
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-049-92.ps.gz, 19921202 Tight Comparison Bounds for the String Prefix-Matching Problem Dany Breslauer CWI P.O. Box 4079, 1009 AB Amsterdam, The Netherlands dany@cwi.nl Livio Colussi Universit a di Padova Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova, Italy colussi@pdmat1.unipd.it Laura Tonioloy Universit a
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-045-92.ps.gz, 19921202 Design & Implementation of the MeldC Translator Esther Yeuk Kay Woo Technical Report CUCS-045-92 Columbia University Department of Computer Science New York, NY 10027 March 1, 1992 Copyright c 1992 Esther Woo The Programming Systems Laboratory is supported by National Science Foundation grants
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-054-92.ps.gz, 19921202 Efficient Comparison Based String Matching Dany Breslauer CWI Zvi Galily Columbia University and Tel-Aviv University CUCS-054-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-048-92.ps.gz, 19921210 PDBTool: A Prototype Object Oriented Toolkit for Protein Structure Verification C. Pu1 K. P. Sheka, J. Ong, L. Chang, A. Chang, and E. Alessio Department of Computer Science Columbia University New York, NY 10027 calton@cs.columbia.edu I.N. Shindyalov, W. Chang, and P.E. Bourne1 Department of
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-053-92.ps.gz, 19921212 Testing String Superprimitivity in Parallel Dany Breslauer Columbia University CUCS-053-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-052-92.ps.gz, 19930103 Saving Comparisons in the Crochemore-Perrin String Matching Algorithm (preliminary version) Dany Breslauer CWI CUCS-052-92
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-031-91.ps.gz, 19930104 Navigating the MeldC The MeldC User's Manual Howard Gershen Erik Hilsdale Technical Report CUCS-031-91 Columbia University Department of Computer Science New York, NY 10027 Revised on October 6, 1992 Copyright c 1992 Howard Gershen, Erik Hilsdale The Programming Systems Laboratory is supported by
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-001-93.ps.gz, 19930118 MELDC: A Reflective Object-Oriented Coordination Language Gail E. Kaiser Wenwey Hseushy James C. Leez Shyhtsun F. Wux Esther Woo Eric Hilsdale Scott Meyer Department of Computer Science Columbia University 500 W. 120th Street New York, NY 10027 Tel: 212-939-7081, Fax: 212-666-0140 fkaiser, hseush,
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-044-92.ps.gz, 19930118 MeldC Runtime/Kernel Implementation Guide James Lee Wenwey Hseush Scott Meyer Technical Report CUCS-44-92 Columbia University Department of Computer Science New York, NY 10027 January 18, 1993 Copyright c 1992 Programming Systems Laboratory The Programming Systems Laboratory is supported by National
	ftp://ftp.cs.columbia.edu/pub/reports/tr92.ps.gz, 19930218 Columbia University in the City of New York Department of Computer Science (212) 854-2736 New York, NY 10027 tech-reports@cs.columbia.edu TECHNICAL REPORTS LIST The Computer Science Department at Columbia University is pleased to announce the enclosed list of technical reports and abstracts for 1992. If
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-003-93.ps.gz, 19930330 Extending Attribute Grammars to Support Programming-in-the-Large Josephine Micallef Gail E. Kaiser Bellcore Columbia University MRE 2D-388 Department of Computer Science 445 South Street 500 West 120th Street Morristown, NJ 07960 New York, NY 10027 (201) 829-4227 (212) 939-7081 Fax: (201) 829-5981 Fax:
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-011-93.ps.gz, 19930505 Oz : A Decentralized Process Centered Environment (Thesis Proposal) Israel Z. Ben-Shaul Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 israel@cs.columbia.edu TR CUCS-011-93 May 5, 1993
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-008-93.ps.gz, 19930505 Logical Embeddings for Minimum Congestion Routing in Lightwave Networks B ulent Yener and Terrance E. Boult Columbia University Department of Computer Science, NYC, NY 10027. Technical Report CUCS-008-93
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-047-92.ps.gz, 19930505 Process Evolution for the MARVEL Environment Gail E. Kaiser Israel Z. Ben-Shaul George T. Heineman* John K. Hinsdale+ Wilfredo Marrero Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 212-939-7000/fax:212-666-0140 kaiser@cs.columbia.edu CUCS-047-92 8 November
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-035-92.ps.gz, 19930618 LINEAR ILL-POSED PROBLEMS ARE SOLVABLE ON THE AVERAGE FOR ALL GAUSSIAN MEASURES Technical Report CUCS-035-92 J. F. TRAUB AND A. G. WERSCHULZ July, 1992 (Revised, June, 1993) 1. INTRODUCTION The purpose of this paper is to bring a series of rather surprising results which have appeared in the technical
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-005-93.ps.gz, 19930724 crep: a regular expression-matching textual corpus tool U S E R S M A N U A L Darrin Duford Department of Computer Science Columbia University April 16, 1993 Technical Report CUCS-005-93 1993 Darrin Duford. All rights reserved. This manual may be freely copied and distributed provided that a) this
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-019-93.ps.gz, 19930824 A Non-Deterministic Approach to Restructuring Flow Graphs Toni A. B unter Technical Report CUCS-019-93 COLUMBIA UNIVERSITY
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-022-93.ps.gz, 19930824 A Configuration Process for a Distributed Software Development Environment (Extended Abstract) Israel Z. Ben-Shaul Gail E. Kaiser Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 tel: 212-939-7085/fax: 212-666-0140 israel@cs.columbia.edu CUCS-022-93 August 18,
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-018-93.ps.gz, 19930824 A Repository for a CARE Environment Toni A. B unter Technical Report CUCS-018-93 COLUMBIA UNIVERSITY
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-017-93.ps.gz, 19930824 A Transaction Manager Component for Cooperative Transaction Models Thesis Proposal George T. Heineman Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 heineman@cs.columbia.edu TR CUCS-017-93 July 27, 1993
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-012-93.ps.gz, 19930824 The complexity of two-point boundary-value problems with piecewise analytic data Technical Report CUCS-012-93 Arthur G. Werschulz Division of Science and Mathematics, Fordham University College at Lincoln Center New York, NY 10023 and Department of Computer Science Columbia University New York, NY 10023
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-027-93.ps.gz, 19930902 Terminological Constraint Network Reasoning and its Application to Plan Recognition (Thesis Proposal) Columbia University Department of Computer Science Technical Report CUCS-027-93 Robert Weida September 2, 1993 Contents 1 Introduction 1 2 Overview 1 3 Foundations 4 3.1 Terminological Knowledge
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-026-93.ps.gz, 19930902 Disconnected Operation in a Multi-User Software Development Environment Peter D. Skopp Gail E. Kaiser y Columbia University Department of Computer Science New York, NY 10027 CUCS-026-93 August 1993
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-004-93.ps.gz, 19931014 On the Cost of Transitive Closures in Relational Databases Zhe Li Kenneth A. Ross Computer Science Department Computer Science Department Columbia University Columbia University New York, NY 10027 New York, NY 10027 li@cs.columbia.edu kar@cs.columbia.edu Technical Report No. CUCS-004-93 February 1993
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-029-93.ps.gz, 19931020 Optimization of the Binding Mechanism of the Characteristic Function in Marvel Toni A. B unter Technical Report CUCS-029-93 COLUMBIA UNIVERSITY
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-030-93.ps.gz, 19931020 An Approach for Distributed Query Processing in Marvel: Concepts and Implementation Toni A. B unter Technical Report CUCS-030-93 COLUMBIA UNIVERSITY
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-031-93.ps.gz, 19931104 Technical Report CUCS-031-93 New Lower Bounds on the Cost of Binary Search Trees Roberto De Priscoy Alfredo De Santisz
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-032-93.ps.gz, 19931104 Technical Report CUCS-032-93 Catastrophic Faults in Reconfigurable Linear Arrays of Processors Roberto De Prisco Alfredo De Santisy
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-034-93.ps.gz, 19931105 Technical Report CUCS-034-93 Solution of Ulam's Problem on Binary Search with Four Lies Vincenzo Auletta Alberto Negro Giuseppe Parlatiy November 5, 1993
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-035-93.ps.gz, 19931108 Process Centered Software Development on Mobile Hosts \| MS Thesis Proposal \| Peter D. Skopp Department of Computer Science Columbia University 500 West 120th St. New York, N.Y. 10027 CUCS-035-93 October 11, 1993
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-036-93.ps.gz, 19931110 1 Automatic Translation of Process Modeling Formalisms George T. Heineman1 Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 heineman@cs.columbia.edu TR CUCS-036-93 November 10, 1993
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-033-93.ps.gz, 19931111 Technical Report CUCS-033-93 Minimal Path Length of Trees with Known Fringe Roberto De Prisco Giuseppe Parlati Giuseppe Persianoy
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-025-93.ps.gz, 19931115 DFLOPS:A Data Flow Machine for Production Systems Fu-Chiung Cheng Department of Computer Science Columbia University NY, NY 10027 Mei-Yi Wu Department of Computer Science New York University NY, NY 10003 November 15, 1993
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-006-93.ps.gz, 19931213 Cooperative Transactions for Multi-User Environments Gail E. Kaiser Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 212-939-7081/fax:212-666-0140 kaiser@cs.columbia.edu CUCS-006-93 March 1993 (revised December 1993)
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-001-94.ps, 19940127 Topological visual navigation in large environments Il-Pyung Park and John R. Kender Department of Computer Science Columbia University New York, NY 10027 CUCS-001-94
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-002-94.ps, 19940127 Error Detection and Recovery in Two Dimensional Topological Navigation Il-Pyung Park and John R. Kender Department of Computer Science Columbia University New York, NY 10027 fip, jrkg@cs.columbia.edu CUCS-002-94
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-003-94.ps, 19940131 Qualitative Environmental Navigation: Theory and Practice Il-Pyung Park CUCS-003-94 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences. Columbia University 1994 c Il-Pyung Park 1994 ALL RIGHTS RESERVED
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-004-94.ps.gz, 19940209 Expanding the Repertoire of Process-based Tool Integration \| MS Thesis Proposal \| Giuseppe Valetto Department of Computer Science Columbia University 500 West 120th St. New York, N.Y. 10027 CUCS-004-94 February 9, 1994
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-020-93.ps.gz, 19940222 Isochronets: a High-Speed Network Switching Architecture (Thesis Proposal) Danilo Florissi Advisor: Prof. Yechiam Yemini Technical Report CUCS-020-93
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-008-94.ps.gz, 19940404 Incremental Process Support for Code Reengineering (Experience Report) George T. Heineman Gail E. Kaiser Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 (212)-939-7085 Fax: (212)-666-0140 heineman@cs.columbia.edu CUCS-008-94
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-007-94.ps.gz, 19940406 QuAL: Quality Assurance Language (Thesis Proposal) Patr cia Gomes Soares Florissi Advisor: Prof. Yechiam Yemini Technical Report CUCS-007-94
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-010-94.ps.gz, 19940414 Better Semijoins Using Tuple Bit-Vectors Zhe Li Kenneth A. Ross Computer Science Department Computer Science Department Columbia University Columbia University New York, NY 10027 New York, NY 10027 li@cs.columbia.edu kar@cs.columbia.edu Technical Report No. CUCS-010-94 April 10, 1994
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-057-92.ps.gz, 19940501 Generalization of the Lambertian Model and Implications for Machine Vision Michael Oren and Shree K. Nayar CUCS-057-92 oren@cs.columbia.edu nayar@cs.columbia.edu Department of Computer Science Columbia University New York, N.Y. 10027 November, 1992 Revised: February, 1994 Accepted for publication in the
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-036-93.revised.ps.gz, 19940511 Automatic Translation of Process Modeling Formalisms George T. Heineman Columbia University: CUCS-036-93 (revised May 1994)
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-012-94.ps.gz, 19940513 Integrating a Transaction manager component with Process Weaver George T. Heineman Gail E. Kaiser Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 heineman@cs.columbia.edu TR CUCS-012-94 May 10, 1994
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-028-93.ps.gz, 19940601 HAZARDS, CRITICAL RACES, AND METASTABILITY Stephen H. Unger Computer Science Department Columbia University 9/7/93
	ftp://ftp.cs.columbia.edu/pub/reports/tr93.ps.gz, 19940603 Columbia University in the City of New York Department of Computer Science (212) 854-2736 New York, NY 10027 tech-reports@cs.columbia.edu TECHNICAL REPORTS LIST The Computer Science Department at Columbia University is pleased to announce the enclosed list of technical reports and abstracts for 1993. If
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-016-94.ps.gz, 19940628 The complexity of multivariate elliptic problems with analytic data Technical Report CUCS-016-94 Arthur G. Werschulz Division of Science and Mathematics, Fordham University College at Lincoln Center New York, NY 10023 and Department of Computer Science Columbia University New York, NY 10023 June 28,
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-017-94.ps.gz, 19940706 1 Protocols for Loosely Synchronous Networks* Danilo Florissi and Yechiam Yemini Distributed Computing and Communications (DCC) Lab, Computer Science Building, Columbia University, New York NY 10027, USA Email: df@cs.columbia.edu, yy@cs.columbia.edu Technical Report CUCS-017-94 (Paper published in the
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1992/cucs-050-92.ps.gz, 19940706 1 Isochronets: a High-Speed Network Switching Architecture Yechiam Yemini and Danilo Florissi Distributed Computing and Communications (DCC) Lab 450 Computer Science Bldg., Columbia University, NYC, NY 10027 Technical Report CUCS-050-92 (Paper published in the Proceedings of IEEE Infocom 93)
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-015-94.ps.gz, 19940708 Statistical Augmentation of a Chinese Machine-Readable Dictionary Pascale Fung Dekai Wu Columbia University HKUST Computer Science Department Department of Computer Science New York, NY 10027 University of Science & Technology USA Clear Water Bay, Hong Kong pascale@cs.columbia.edu dekai@cs.ust.hk
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-024-93.ps.gz, 19940818 A Paradigm for Decentralized Process Modeling and its Realization in the Oz Environment Israel Z. Ben-Shaul Gail E. Kaiser Department of Computer Science Columbia University New York, NY 10027 CUCS-024-93 Appears in the proceedings of the Sixteenth International Conference on Software Engineering, May
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-014-94.ps.gz, 19940907 A New Client-Server Architecture for Distributed Query Processing Zhe Li Kenneth A. Ross Computer Science Department Computer Science Department Columbia University Columbia University New York, NY 10027 New York, NY 10027 li@cs.columbia.edu kar@cs.columbia.edu Technical Report No. CUCS-014-94 April 10,
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-021-94.ps.gz, 19940929 An Architecture for Integrating Concurrency Control into Environment Frameworks George T. Heineman Gail E. Kaiser Department of Computer Science, Columbia University 500 West 120th Street, New York, NY 10027 (212)-939-7085 Fax: (212)-666-0140 CU-021-094
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-026-94.ps.gz, 19941108 Predictive Dynamic Load Balancing of Parallel Hash-Joins over Heterogeneous Processors in the Presence of Data Skew Hasanat M. Dewan Mauricio Hern andezy Kui W. Mok Salvatore J. Stolfo Department of Computer Science, Columbia University, New York, NY 10027 CUCS-026-94 (This is an extended version of the
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-025-94.ps.gz, 19941108 Predictive Dynamic Load Balancing of Parallel and Distributed Rule and Query Processing Hasanat M. Dewan Salvatore J. Stolfo Mauricio Hern andez Jae-Jun Hwang Department of Computer Science Columbia University, New York, NY 10027 CUCS-025-94 (This paper appeared in the Proceedings of the 1994 ACM SIGMOD
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-023-94.ps, 19941111 Computing High Dimensional Integrals with Applications to Finance SPASSIMIR H. PASKOV Department of Computer Science Columbia University New York, NY 10027 paskov@cs.columbia.edu Technical Report CUCS-023-94 October, 1994 This research was supported in part by the the National Science Foundation and the
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-022-94.ps.gz, 19941112 1 Management of Application Quality of Service Patr cia Gomes Soares Florissi and Yechiam Yemini Distributed Computing and Communications (DCC) Lab Computer Science Department Technical Report CUCS-022-94 Columbia University, New York, NY 10027 {pgsf,yy}@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-029-94.ps.gz, 19941122 Enveloping Sophisticated Tools into Computer-Aided Software Engineering Environments (Research Paper) Giuseppe VALETTO Gail E. KAISER Rank Xerox Research Centre Columbia University "Le Quartz" Department of Computer Science 6, Chemin de Maupertuis 500 West 120th Street 38240 Meylan New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-032-94.ps.gz, 19941209 Toward Scalable and Parallel Inductive Learning: A Case Study in Splice Junction Prediction Philip K. Chan and Salvatore J. Stolfo CUCS-032-94 Department of Computer Science Columbia University New York, NY 10027 pkc@cs.columbia.edu and sal@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-013-94.ps.gz, 19941213 A Comparative Study of Divergence Control Algorithms Akira Kawaguchi and Kui Mok Calton Pu Department of Computer Science Dept. of Computer Science & Engineering Columbia University Oregon Graduate Institute New York, NY 10027 P.O. Box 91000, Portland, OR 97291-1000 Kun-Lung Wu and Philip S. Yu IBM T.J.
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-027-94.ps.gz, 19950112 Expanding the Repertoire of Process-based Tool Integration \| MS Thesis \| Technical Report CUCS-027-94 Giuseppe Valetto Department of Computer Science Columbia University 500 West 120th St. New York, N.Y. 10027 Thesis Committee: Professors Gail E. Kaiser and Kathy McKeown November 23, 1994
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-001-95.ps.gz, 19950113 Automatic Generation of RBF Networks 1 Shayan Mukherjee 2 and Shree K. Nayar CUCS-001-95 Department of Computer Science Columbia University New York, NY 10027 USA sayan@cs.columbia.edu nayar@cs.columbia.edu November, 1994 1This research was conducted at the Center for Research in Intelligent Systems,
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-030-94.ps.gz, 19950126 Stereo in the Presence of Specular Reflection Dinkar N. Bhat and Shree K. Nayar1 CUCS-030-94 bhat@cs.columbia.edu nayar@cs.columbia.edu Department of Computer Science Columbia University New York, N.Y. 10027 December, 1994 1This work is supported in part by ARPA contract DACA-76-92-C-007 and in part by
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-003-95.ps.gz, 19950130 COERCED MARKOV MODELS FOR CROSS-LINGUAL LEXICAL-TAG RELATIONS Pascale Fung Computer Science Department Columbia University pascale@cs.columbia.edu CURRENT MAILING ADDRESS: Dept. of Electrical and Electronic Engineering University of Science & Technology Clear Water Bay, Hong Kong Dekai Wu Department of
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-006-94.ps.gz, 19950131 Flow Trees: A Lower Bound Computation Tool with Applications to Rearrangeable Multihop Lightwave Network Optimization B ulent Yener and Terrance E. Boult Columbia University Computer Science Department Technical Report CUCS-006-94 Columbia University Department of Computer Science, NYC, NY 10027. Phone:
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-011-94.ps.gz, 19950131 Hamiltonian Decompositions of Regular Topology Networks with Convergence Routing B ulent Yener, y Terry Boult, z Yoram Ofek, x Columbia University Computer Science Department Technical Report CUCS-011094
	ftp://ftp.cs.columbia.edu/pub/reports/tr94.ps.gz, 19950201 Columbia University in the City of New York Department of Computer Science (212) 939-7000 New York, NY 10027 tech-reports@cs.columbia.edu TECHNICAL REPORTS LIST The Computer Science Department at Columbia University is pleased to announce the enclosed list of technical reports and abstracts for 1994. If
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1991/cucs-008-91.ps.gz, 19950208 1 of 28 ACM Transactions on Graphics, October 1993, pp. 227-304. Columbia University Computer Science Technical Report CUCS-008-91. Inferring Constraints from Multiple Snapshots David Kurlander Microsoft Research Steven Feiner Columbia University CR Categories: I.3.6 : Methodology and
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1993/cucs-023-93.ps.gz, 19950208 Graphical Editing by Example David Joshua Kurlander Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY July 1993 Columbia University Computer Science Department Technical Report CUCS-023-93 1993
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-005-95.ps.gz, 19950531 A Generalization of Band Joins and The Merge/Purge Problem Mauricio A. Hern andez THESIS PROPOSAL (CUCS-005-95) Department of Computer Science Columbia University New York, NY 10027 February 1995 Contents 1 Introduction 1 2 Previous Work 4 2.1 Heterogenous Multi-Databases : : : : : : : : : : : : : : : :
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-014-95.ps.gz, 19950612 A Paradigm for Decentralized Process Modeling and its Realization in the Oz Environment Israel Z. Ben-Shaul CUCS-014-95 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences. Columbia University 1995 c Israel Z. Ben-Shaul
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-034-94.ps, 19950704 Revision-Based Generation of Natural Language Summaries Providing Historical Background Corpus-Based Analysis, Design, Implementation and Evaluation Jacques Robin Technical Report CUCS-034-94 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1994/cucs-033-94.ps.gz, 19950713 Exact Essential-Hazard-Free State Minimization of Incompletely Specified Asynchronous Sequential Machines Fu-Chiung J. Cheng Luis Planay Columbia University Department of Computer Science New York, NY 10027 Tel: 212-939-7070, Fax: 212-666-0140 fcheng, planag@cs.columbia.edu CUCS-033-94 December 1994
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-021-95.ps.gz, 19950720 Isochronets: a High-speed Network Switching Architecture Danilo Florissi Technical Report CUCS-021-95 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 1995 1995 Danilo Florissi All Rights Reserved
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-022-95.ps.gz, 19950726 1{37 Enveloping Sophisticated Tools into Process-Centered Environments* GIUSEPPE VALETTO AND GAIL E. KAISER kaiser@cs.columbia.edu Rank Xerox Research Centre, 6 Chemin de Maupertuis, 38240 Meylan, France Columbia University, Department of Computer Science, New York, NY 10027, United States Columbia
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-010-95.ps.gz, 19950810 Adapting Materialized Views after Redefinitions Ashish Guptay IBM Almaden Research Center ashish@almaden.ibm.com Inderpal S. Mumick AT&T Bell Laboratories mumick@research.att.com Kenneth A. Rossz Columbia University kar@cs.columbia.edu Columbia University Technical Report CUCS-010-95
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-017-95.ps.gz, 19950817 Tractable Reasoning in Knowledge Representation Systems1 Mukesh Dalal2 CUCS-017-95 Department of Computer Science Columbia University New York, NY 10027 July 1995 1This is an updated version of the Rutgers University Computer Science Technical Report DCS-TR-321 published in May 1995. This material is
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-009-95.ps.gz, 19950823 What is the complexity of solution-restricted operator equations Technical Report CUCS-009-95 Arthur G. Werschulz Department of Computer and Information Sciences, Fordham University Fordham College at Lincoln Center New York, NY 10023 and Department of Computer Science Columbia University New York, NY
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-028-95.ps.gz, 19951109 Parametric Feature Detection CUCS-028-95 Shree K. Nayar, Simon Baker, and Hiroshi Murase Department of Computer Science Columbia University New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-008-95.ps.gz, 19951113 Integrating, Customizing, and Extending Environments with a Message-Based Architecture John E. Arnold US Applied Research Laboratory Bull HN Information Systems Inc. 300 Concord Road MA30-821A Billerica, MA 01821 phone: 508-294-2356 fax: 508-294-4848 email: J.Arnold@ma30.bull.com 1 Steven S. Popovich
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-031-95a.ps.gz, 19951115 1 Playback and Jitter Control for Real-time Video-conferencing Sanjay K. Jha* TECHNICAL REPORT No CUCS-031-95 Computer Science Department Columbia University, New York
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-031-95b.ps.gz, 19951115 Appendix - A
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-016-95.ps.gz, 19951204 Lectures in Applied Mathematics Volume 00, 1996 The Complexity of the Poisson Problem for Spaces of Bounded Mixed Derivatives Technical Report CUCS-016-95 Arthur G. Werschulz
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-034-95.ps.gz, 19951206 An Interoperability Model for Process-Centered Software Engineering Environments and its Implementation in Oz Israel Z. Ben-Shaul Technion-Israel Institute of Technology Department of Electrical Engineering Technion City, Haifa 32000 ISRAEL issy@ee.technion.ac.il Gail E. Kaiser Columbia University
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-007-95.ps.gz, 19951211 1 An Overview of the Isochronets Architecture for High Speed Networks Yechiam Yemini and Danilo Florissi Distributed Computing and Communications (DCC) Lab 450 Computer Science Bldg., Columbia University, NYC, NY 10027 Technical Report CUCS-007-95 {Yemini,Florissi}@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-006-95.ps.gz, 19951211 1 The Gigabit per Second Isochronet Switch Danilo Florissi and Yechiam Yemini Distributed Computing and Communications (DCC) Lab 450 Computer Science Bldg., Columbia University, NYC, NY 10027 Technical Report CUCS-006-95 {Florissi,Yemini}@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-036-95.ps.gz, 19951211 QoSME: QoS Management Environment Patr cia Gomes Soares Florissi Technical Report CUCS-036-95 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 1996 1996 Patr cia Gomes Soares Florissi All Rights
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-037-95.ps.gz, 19951222 Estimating an Eigenvector by the Power Method with a Random Start Gianna M. Del Corso y CUCS-037-95
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-001-96.ps.gz, 19960116 A 3-level Atomicity Model for Decentralized Workflow Management Systems Israel Z. Ben-Shaul Technion-Israel Institute of Technology Department of Electrical Engineering Technion City, Haifa 32000 ISRAEL issy@ee.technion.ac.il phone +972-4-294689 fax +972-4-323041 George T. Heineman Columbia University
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-013-95.ps.gz, 19960117 A Theory of Pattern Rejection Simon Baker and Shree K. Nayar Columbia Univeristy Technical Report CUCS-013-95 Department of Computer Science Columbia University New York, NY 10027 Email: fsimonb,nayarg@cs.columbia.edu Tel. +1 (212) 939-7000, Fax +1 (212) 666-0140 Contents 1 Introduction 1 2 Related Work
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-012-95.ps.gz, 19960123 Interfacing Oz with the PCTE OMS Wenke Lee Gail E. Kaiser fwenke, kaiserg@cs.columbia.edu Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 (212)939-7086 Fax: (212)666-0140 TR CUCS-012-95 January 23, 1996
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-004-96.ps.gz, 19960213 An Architecture for Integrating OODBs with WWW Jack Jingshuang Yang and Gail E. Kaiser Columbia University CUCS-004-96
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-007-96.ps.gz, 19960215 Incremental Process Support for Code Reengineering: An Update (Experience Report) Gail E. Kaiser George T. Heineman Peter D. Skopp Jack J. Yang Columbia University Department of Computer Science 500 West 120th Street New York, NY 10027 212-939-7081/fax:212-666-0140 kaiser@cs.columbia.edu CUCS-007-96 15
	ftp://ftp.cs.columbia.edu/pub/reports/tr95.ps.gz, 19960221 Columbia University in the City of New York Department of Computer Science (212) 939-7000 New York, NY 10027 tech-reports@cs.columbia.edu TECHNICAL REPORTS LIST The Computer Science Department at Columbia University is pleased to announce the enclosed list of technical reports and abstracts for 1995. If
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-015-96.ps.gz, 19960507 Architectures for Federation of Process-Centered Environments Israel Z. Ben-Shaul Gail E. Kaiser Technion-Israel Institute of Technology Columbia University Department of Electrical Engineering Department of Computer Science Technion City, Haifa 32000 New York, NY 10027 ISRAEL UNITED STATES
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-022-96.ps.gz, 19960520 On Tractability of Path Integration Columbia University Computer Science Department Report CUCS-022-96 Grzegorz W. Wasilkowski and Henryk Wo zniakowski September 1995
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-025-96.ps.gz, 19960520 Computational Complexity of Continuous Problems Columbia University Computer Science Department Report CUCS-025-96 Henryk Wo zniakowski University of Warsaw and Columbia University May 20, 1996
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-019-96.ps.gz, 19960520 An intractability result for multiple integration I.H.Sloan y and H.Wo zniakowski yy Columbia University Computer Science Technical Report CUCS-019-96 y School of Mathematics University of New South Wales Sydney 2052 Australia and yy Department of Computer Science Columbia University New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-021-96.ps.gz, 19960520 Baltzer Journals October 30, 1995 Strong Tractability of Weighted Tensor Products Henryk Wo zniakowski1;2 1Department of Computer Science, Columbia University, New York, NY 10027, USA, 2Institute of Applied Mathematics, University of Warsaw, ul. Banacha 2, 00-097, Warsaw, Poland. E-mail:
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-020-96.ps.gz, 19960520 Explicit Cost Bounds of Algorithms for Multivariate Tensor Product Problems Columbia University Computer Science Department Report CUCS-020-96 Grzegorz W. Wasilkowski and Henryk Wo zniakowski March, 1994
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-026-96.ps.gz, 19960520 The exponent of discrepancy is at most 1:4778::: Columbia University Computer Science Department Report CUCS-026-96 Grzegorz W. Wasilkowski and Henryk Wo zniakowski December 1995
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-024-96.ps.gz, 19960520 Lectures in Applied Mathematics Volume 00, 1996 Overview of Information-Based Complexity Columbia University Computer Science Department Report CUCS-024-96 Henryk Wo zniakowski
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-002-95.ps.gz, 19960520 Integrating Groupware Activities into Workflow Management Systems Israel Z. Ben-Shaul Department of Electrical Engineering Technion-Israel Institute of Technology Technion City, Haifa 32000 israel issy@ee.technion.ac.il Gail E. Kaiser Department of Computer Science Columbia University New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-023-96.ps.gz, 19960520 Estimating a Largest Eigenvector by Polynomial Algorithms with a Random Start Columbia University Computer Science Department Report CUCS-023-96 Z. Leyk Institute for Scientific Computation Texas A&M University H. Wo zniakowskiy Department of Computer Science, Columbia University and Institute of
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-027-96.ps.gz, 19960529 Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition Robert Anthony Weida Technical Report CUCS-027-96 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-031-96.ps.gz, 19960627 An Analytical Approach to File Prefetching Technical Report CUCS-031-96 Hui Lei and Dan Duchamp Computer Science Department Columbia University New York, NY 10027 flei, djdg@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-032-96.ps.gz, 19960627 Fast Joins Using Join Indices Zhe Li Kenneth A. Ross Department of Computer Science, Columbia University, New York, NY 10027 li,kar@cs.columbia.edu Columbia University Technical Report CUCS-032-96 June 26, 1996
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-028-96.ps.gz, 19960730 New Results on Deterministic Pricing of Financial Derivatives A. Papageorgiou and J.F. Trauby Department of Computer Science Columbia University CUCS-028-96 Monte Carlo simulation is widely used to price complex financial instruments. Recent theoretical results and extensive computer testing indicate
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-037-96.ps.gz, 19960809 An Architecture for WWW-based Hypercode Environments Gail E. Kaiser Stephen E. Dossick Wenyu Jiang Jack Jingshuang Yang Columbia University Department of Computer Science, MC 0401 New York, NY 10027, UNITED STATES 212-939-7081, kaiser@cs.columbia.edu CUCS-037-96, 8 August 1996
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1995/cucs-024-95.ps.gz, 19960904 The cord approach to Extensible Concurrency Control George T. Heineman Worcester Polytechnic Institute Department of Computer Science Worcester, MA heineman@cs.wpi.edu Gail E. Kaiser Columbia University Department of Computer Science New York, NY kaiser@cs.columbia.edu WPI-CS-TR-96-1 Abstract Database
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-035-96.ps.gz, 19960926 The complexity of definite elliptic problems with noisy data Technical Report CUCS-035-96 Arthur G. Werschulz Department of Computer and Information Sciences, Fordham University Fordham College at Lincoln Center New York, NY 10023 and Department of Computer Science Columbia University New York, NY 10023
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-016-96.ps.gz, 19961001 A Metalinguistic Approach to Process Enactment Extensibility Gail E. Kaiser Israel Z. Ben-Shaul Steven S. Popovich Stephen E. Dossick Columbia University Department of Computer Science, MC 0401 New York, NY 10027, UNITED STATES kaiser@cs.columbia.edu
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-042-96.ps.gz, 19961015 Distributed Tool Services Via the World Wide Web Stephen E. Dossick, Gail E. Kaiser, and Jack Jingshuang Yang Columbia University Department of Computer Science Mail Code 0401 New York, NY 10027, USA 212-939-7184, sdossick@cs.columbia.edu CUCS-042-96 October 1, 1996
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-044-96.ps.gz, 19970203 An Extensible Meta-Learning Approach for Scalable and Accurate Inductive Learning Philip Kin-Wah Chan Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences. Columbia University 1996 c Philip Kin-Wah Chan 1996 ALL RIGHTS
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1990/cucs-020-90.ps, 19970211 Multiple Concurrency Control Policies in an Object-Oriented Programming System Gail E. Kaiser Wenwey Hseush Steven S. Popovich Shyhtsun F. Wu Columbia University Department of Computer Science New York, NY 10027 212-939-7000/Fax: 212-666-0140 Kaiser@cs.columbia.edu 22 September 1990 (revised 28 January
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-030-96.ps, 19970227 Faster Valuation of Financial Derivatives S. Paskov Department of Computer Science Columbia University New York, NY 10027 paskov@cs.columbia.edu and J. Traub Department of Computer Science Columbia University New York, NY 10027 traub@cs.columbia.edu Currently at Union Bank of Switzerland, 299 Park
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-029-96.ps, 19970227 New Methodologies for Valuing Derivatives SPASSIMIR H. PASKOV Department of Computer Science Columbia University New York, NY 10027 paskov@cs.columbia.edu This is a slightly modified version of a Columbia University Technical Report which appeared in October 1994. It will appear in Mathematics of
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1997/cucs-003-97.ps.gz, 19970303 WWW-based Collaboration Environments with Distributed Tool Services Gail E. Kaiser, Stephen E. Dossick, Wenyu Jiang, Jack Jingshuang Yang, Sonny Xi Ye Columbia University Department of Computer Science 1214 Amsterdam Avenue, Mail Code 0401 New York, NY 10027, UNITED STATES 212-939-7081/fax:212-939-7084
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1997/cucs-004-97.ps.gz, 19970326 The complexity of indefinite elliptic problems with noisy data Technical Report CUCS-004-97 Arthur G. Werschulz Department of Computer and Information Sciences, Fordham University Fordham College at Lincoln Center New York, NY 10023 and Department of Computer Science Columbia University New York, NY
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-034-96.ps.gz, 19970416 FROM INFOWARE TO INFOWAR 1 JOSEPH F. TRAUB 1Supported in part by AFOSR and NSF 2 From Infoware to Infowar At its first meeting on May 7 and 8, 1986, the Computer Science and Technology Board identified six critical national issues. I'll tell you about those six issues as they looked in 1986 and how they
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1988/cucs-352-88.ps.gz, 19970417 Incremental Dynamic Semantics for Language-based Programming Environments Gail E. Kaiser Carnegie Mellon University
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1996/cucs-033-96.ps.gz, 19970505 I. Introduction Recently, I heard a researcher present a colloquium on computational aspects of protein-folding. Although this man was obviously an expert on the topic, he casually mentioned in passing that, of course, proteinfolding is NP-complete. Protein-folding is a biological process that nature
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1997/cucs-005-97.ps.gz, 19970513 Generating Natural Language Summaries from Multiple On-Line Sources Ph.D. Thesis Proposal Dragomir R. Radev radev@cs.columbia.edu Technical Report CUCS-005-97 Department of Computer Science Columbia University New York, NY 10027 March 28, 1997 ii Contents 1 Introduction 3 1.1 Summarization of multiple
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1997/cucs-017-97.ps.gz, 19970605 Applying Reliability Metrics to Co-Reference Annotation Rebecca J. Passonneau Columbia University Department of Computer Science Technical Report CUCS-017-97 June 5, 1997
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1997/cucs-018-97.ps.gz, 19970806 The Competitive Analysis of Risk Taking with Applications to Online Trading (Technical Report: CUCS-018-97) Sabah al-Binali albinali@cs.columbia.edu Department of Computer Science Columbia University New York, NY 10027
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1997/cucs-026-97.ps.gz, 19970912 Where does smoothness count the most for two-point boundary-value problems Technical Report CUCS-026-97 Arthur G. Werschulz Department of Computer and Information Sciences, Fordham University Fordham College at Lincoln Center New York, NY 10023 and Department of Computer Science Columbia University New
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1997/cucs-016-97.ps.gz, 19970927 BUILDING A RICH LARGE-SCALE LEXICAL BASE FOR GENERATION Hongyan Jing and Kathleen R. McKeown and Rebecca Passonneau Department of Computer Science 450 Computer Science Building Columbia University New York, N.Y. 10027 fhjing, kathy, beckyg @cs.columbia.edu May, 1997 Summary Most large lexical resources
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1997/cucs-032-97.ps.gz, 19971219 On the Management of Distributed Learning Agents Ph.D. Thesis Proposal Andreas L. Prodromidis andreas@cs.columbia.edu Department of Computer Science Columbia University New York, NY 10027 December 9, 1997 Contents 1 Introduction 1 2 Data Mining and Meta-Learning 2 3 Overview of Proposed Research 5 4
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1998/cucs-001-98.ps.gz, 19980109 Fast Heuristic and Exact Algorithms for Two-Level Hazard-Free Logic Minimization Michael Theobald Steven M. Nowick Department of Computer Science Columbia University New York, NY 10027 CUCS-001-98
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1998/cucs-002-98.ps.gz, 19980116 Synthesis for Logical Initializability of Synchronous Finite State Machines Montek Singh Steven M. Nowick Department of Computer Science Columbia University 1214 Amsterdam Ave: Mailcode 0401 New York, NY 10027 fmontek,nowickg@cs.columbia.edu Technical report: CUCS-002-98 January 15, 1998 This work was
	ftp://ftp.cs.columbia.edu/pub/reports/reports-1998/cucs-005-98.ps.gz, 19980210 Signaling for Internet Telephony Henning Schulzrinne Columbia University hgs@cs.columbia.edu M/S 0401 1214 Amsterdam Avenue New York, NY 10027 Jonathan Rosenberg Bell Laboratories jdrosen@bell-labs.com Rm. 4C-526 101 Crawfords Corner Rd. Holmdel, NJ 07733 January 31, 1998