901. Performance Evaluation of Global Reading of Entire Databases Pu, Calton; Hong, Christine H.; Wha, Jae M. 1988 Reports Computer science
904. Segmentation of Specular Highlights from Object Surfaces Wolff, Lawrence B. 1988 Reports Computer science
905. Sequence Comparison with Mixed Convex and Concave Costs Eppstein, David 1988 Reports Computer science
907. Solving the Depth Interpolation Problem on a Parallel Architecture with Efficient Numerica1 Methods Choi, Dong Jae 1988 Reports Computer science
908. Speeding up Dynamic Programming with Application to the Computation of RNA Structure Eppstein, David; Galil, Zvi; Giancarlo, Raffaele 1988 Reports Computer science
909. Split-Transactions for Open-Ended Activities Pu, Calton; Kaiser, Gail E.; Hutchinson, Norman 1988 Reports Computer science
910. Structure of Complexity Classes: Separations, Collapses, and Completeness Hemachandra, Lane A. 1988 Reports Computer science
911. Support for Reliable Distributed Computing Kaiser, Gail E.; Hseush, Wenwey 1988 Reports Computer science
912. Synchronization Communication and I/O Factors In Database Machine Performance Lowry, Andy 1988 Reports Computer science
913. The Application of Approximation and Complexity Theory Methods to the Solution of Computer Vision Problems Hatzitheodorou, Michael 1988 Reports Computer science
914. The derivation of two-dimensional surface shape from shadows Hatzitheodorou, Michael 1988 Reports Computer science
916. The World According To GARP Kaiser, Gail E.; Campbell, Roy; Goering, Steven; Hinrichs, Susan; Jackels, Brenda; Loyall, Joe; Kaplan, Simon M. 1988 Reports Computer science
918. Transparent Concurrent Execution of Mutually Exclusive Alternatives Smith, Jonathan M.; Maguire, Gerald Q. 1988 Reports Computer science
919. Tutoring That Responds to User Questions and Provides Enrichment Wolz, Ursula 1988 Reports Computer science
920. User's Manual for Pyramid Emulation on The Connection Machine Brown, Lisa Gottesfeld; Ju, Qifan; Norman, Cynthia 1988 Reports Computer science
921. A Collection of Four Transcripts of Long Conversations through Computers Including the Experiments Protocols Elhadad, Michael 1987 Reports Computer science
922. An Experimental System for the Integration of Information from Stereo and Multiple Shape From Texture Algorithms Boult, Terrance E.; Moerdler, Mark 1987 Reports Computer science
924. An O(n2(m+n Log N)log N) Min-cost Flow Algorithm Galil, Zvi; Tardos, Eva 1987 Reports Computer science
925. A Survey of Automated Consulting in Interactive Programming Environments Wolz, Ursula 1987 Reports Computer science
926. A Survey of Interfaces to Data Base and Expert Systems. Moerdler, Galina Datskovsky 1987 Reports Computer science
928. A Syntactic Omni-Font Character Recognition System Wolberg, George 1987 Reports Computer science
929. Building a Natural Language Interface to Expert Systems Moerdler, Galina Datskovsky 1987 Reports Computer science
930. Choices in the Design of a Language Pre-Processor for Specifying Redundancy Smith, Jonathan M.; Maguire, Gerald Q. 1987 Reports Computer science
931. Circuit Minimization Techniques Applied to Knowledge Engineering Pasik, Alexander J. 1987 Reports Computer science
932. Data structures and algorithms for approximate string matchingZvi Galil, Raffaele Giancarlo Galil, Zvi; Giancarlo, Raffaele 1987 Reports Computer science
933. Deriving shape from shadows: A Hilbert space setting Hatzitheodorou, Michael 1987 Reports Computer science
934. DIAL: DIagrammatic Animation Language Tutorial and Reference Manual Feiner, Steven K. 1987 Reports Computer science
935. Encapsulation, Reusability and Extensibility in Object-Oriented Programming Languages Micallef, Josephine 1987 Reports Computer science
936. Explanation-Based Learning: A Survey of Programs and Perspectives Ellman, Thomas 1987 Reports Computer science
937. Explanation-Based Methods for Simplifying Intractable Theories Ellman, Thomas 1987 Reports Computer science
938. Finding a Maximum-Genius Graph Imbedding Furst, Merrick L.; Gross, Jonathan L.; McGeoch, Lyle A. 1987 Reports Computer science
939. Genus distributions for bouquets of circles Gross, Jonathan L.; Robbins, David P.; Tucker, Thomas W. 1987 Reports Computer science
940. Genus distributions for two classes of graphs Furst, Merrick L.; Gross, Jonathan L.; Statman, Richard 1987 Reports Computer science
941. Improving Production System Performance on Parallel Architectures by Creating Constrained Copies of Rules Pasik, Alexander J.; Stolfo, Salvatore 1987 Reports Computer science
942. Links Between Situation and Language Use: Towards a More Coherent Interaction Elhadad, Michael 1987 Reports Computer science
943. MELD: A Multi-Paradigm Language with Objects, Dataflow and Modules Kaiser, Gail E.; Garlan, David 1987 Reports Computer science
944. MERCURY: Distributed Incremental Attribute Grammar Evaluation Kaiser, Gail E.; Micallef, Josephine; Kaplan, Simon M. 1987 Reports Computer science
945. Mixed Distance Measures for Optimizing Concatenative Vocabularies for Speech Synthesis: A Thesis Proposal Polish, Nathaniel 1987 Reports Computer science
946. Monitoring Conceptual and Linguistic Decisions to Generate Coherent Text Blumenstyck, Michal; McKeown, Kathleen 1987 Reports Computer science
947. On 3-Pushdown Graphs With Large Separators Galil, Zvi; Kannan, Ravi; Szemeredi, Endre 1987 Reports Computer science
948. On Nontrivial Separators for k-Page Graphs and Simulations by Nondeterministic One-Tape Turing Machines Galil, Zvi; Kannan, Ravi; Szemeredi, Endre 1987 Reports Computer science
949. On the Power of Parity Polynomial Time Cai, Jin-yi; Hemachandra, Lane A. 1987 Reports Computer science
950. Parallel Computers, Number Theory Problems, and Experimental Results Lerner, Mark D. 1987 Reports Computer science
951. Process Migration: Effects on Scientific Computation Maguire, Gerald Q.; Smith, Jonathan M. 1987 Reports Computer science
952. RB: Programmer Specification of Redundancy Smith, Jonathan M.; Maguire, Gerald Q. 1987 Reports Computer science
953. Recovery of superquadrics from depth information Boult, Terrance E.; Gross, Ari D. 1987 Reports Computer science
954. Reliable Network Communications Kaiser, Gail E.; Cycowicz, Yael J.; Hseush, Wenwey; Micallef, Josephine 1987 Reports Computer science
955. Reset Sequences for Finite Automata with Application to Design of Parts Orienters Eppstein, David 1987 Reports Computer science
956. Software Development Environments for Very Large Software Systems Kaiser, Gail E.; Maarek, Yoelle S.; Perry, Dewayne E.; Schwanke, Robert W. 1987 Reports Computer science
957. Speeding up dynamic programming with applications to molecular biology Galil, Zvi; Giancarlo, Raffaele 1987 Reports Molecular biologyBiological models
961. The Use of Explicit User Models in Text Generation: Tailoring to a User's Level of Expertise Paris, Cecile L. 1987 Reports Computer science
962. Two Lower Bounds In Asynchronous Distributed Computation Duris, Pavol; Galil, Zvi 1987 Reports Computer science
964. A Methodology for Specification-Based Performance Analysis of Protocols Nounou, Nihal 1986 Reports Computer science
965. An Information-Based Approach to III-Posed Problems Werschulz, Arthur G. 1986 Reports Computer science
967. Avoiding Latch Formation in Regular Expression Recognizers Foster, Michael J. 1986 Reports Computer science
968. Canonical approximation in the performance analysis of distributed systems Pinsky, Eugene 1986 Reports Computer science
969. Change Management Support for Large Software Systems Kaiser, Gail E.; Perry, Dewayne E.; Schwanke, Robert W. 1986 Reports Computer science
971. Director: An Interpreter for Rule-based Programs Moerdler, Galina Datskovsky; Ensor, J. Robert 1986 Reports Computer science
972. Disk Response Time Measurements Johnson, Thomas D.; Jonathan, Smith; Wilson, Eric S. 1986 Reports Computer science
973. Generation of Distributed Programming Environments Kaiser, Gail E.; Kaplan, Simon M.; Micallef, Josephine 1986 Reports Computer science
974. Integrating Vision and Touch for Object Recognition Tasks Allen, Peter K. 1986 Reports Computer science
975. Language Generation: Applications, Issues and Approaches McKeown, Kathleen 1986 Reports Computer science
976. MELD/ Features: An Object-Oriented Approach to Reusable Software Kaiser, Gail E.; Garlan, David 1986 Reports Computer science
977. Methods for Performance Evaluation of Parallel Computer Systems Eisenstadter, Yoram 1986 Reports Computer science
978. Physical Object Representation and Generation: A Survey of Programs For Semantic-Based Natural Language Processing Wasserman, Kenneth 1986 Reports Computer science
979. Probabilistic setting of information-based complexity Wozniakowski, Henryk 1986 Reports Computer science
980. Replication and Nested Transactions in the Eden Distributed System Pu, Calton 1986 Reports Computer science
981. Robust Estimation and Filtering in the Presence of Unknown but Bounded Noise Tempo, Roberto 1986 Reports Computer science
982. SIMD Tree Algorithms for Image Correlation Ibrahim, Hussein; Kender, John R.; Shaw, David Elliot 1986 Reports Computer science
983. SMILE/ MARVEL: Two Approaches to Knowledge-Based Programming Environments Kaiser, Gail E.; Feiler, Peter H. 1986 Reports Computer science
984. Smoothness assumptions in human and machine vision, and their implications for optimal surface interpolation Boult, Terrance E. 1986 Reports Computer science
985. Superdatabases for Composition of Heterogeneous Databases Pu, Calton 1986 Reports Computer science
986. The Do-loop Considered Harmful in Production System Programming Biema, Michael van; Miranker, Daniel P.; Stolfo, Salvatore 1986 Reports Computer science
988. Thesis Proposal: The Expected-Outcome Model of Two-Player Games Abramson, Bruce 1986 Reports Computer science
989. Translating Between Programming Languages Using A Canonical Representation And Attribute Grammar Inversion Farrow, Rodney; Yellin, Daniel 1986 Reports Computer science
990. A Comparison of Storage Optimisations in Automatically-Generated Attribute Evaluators Farrow, Rodney; Yellin, Daniel 1985 Reports Computer science
991. A Cure for Pathological Behavior in Games That Use Minimax Abramson, Bruce 1985 Reports Computer science
992. A Generic Framework for Expert Data Analysis Systems Burns, Luanne; Pasik, Alexander J. 1985 Reports Computer science
993. A Knowledge-Based Expert Systems Primer and Catalog Hillyer, Bruce K. 1985 Reports Computer scienceArtificial intelligence
994. A LISP Compiler for the DADO Parallel Computer Lerner, Mark D.; Biema, Michael van; Maguire, Gerald Q. 1985 Reports Computer science
995. A Methodology tor Specification-Based Performance Analysis of Communication Protocols Nounou, Nihal; Yemini, Yechiam 1985 Reports Computer science
996. Analyzing User Plans to Produce Informative Responses by a Programmer's Consultant Wolz, Ursula 1985 Reports Computer science
997. An Automated Performance Analysis of a Two Phase Locking Protocol Nounou, Nihal; Yemini, Yechiam 1985 Reports Computer science
998. An Experiment in Intelligent Information Systems: RESEARCHER Lebowitz, Michael 1985 Reports Computer science
999. An Optimal Complexity Algorithm for Computing Topological Degree in Two Dimensions Boult, Terrance E.; Sikorski, Krzysztof 1985 Reports Computer science
1000. A Private Interactive Test of a Boolean Predicate and Minimum-Knowledge Public-Key Cryptosystems Galil, Zvi; Haber, Stuart; Yung, Moti 1985 Reports Computer science