301. But What Do You Need To Produce a But? Elhadad, Michael; McKeown, Kathleen 1988 Reports Computer science
302. Classification of Material Surfaces Using the Polarization of Specular Highlights Wolff, Lawrence B. 1988 Reports Computer science
303. Comparison of Surface Language Generators: A Case Study in Choice of Connectives McKeown, Kathleen; Elhadad, Michael 1988 Reports Computer science
304. Computational Aspects of Language Acquisition from World to Word Smadja, Frank A. 1988 Reports Computer science
307. Extended Transaction Models for Software Development Environments Kaiser, Gail E. 1988 Reports Computer science
309. Finding a Better Way: Choosing and Explaining Alternative Plans Wolz, Ursula 1988 Reports Computer science
310. FUF: The Universal Unifier: User Manual Version 2.0 Elhadad, Michael 1988 Reports Computer science
312. Geometric Transformation Techniques for Digital Images: A Survey Wolberg, George 1988 Reports Computer science
313. Haptic Object Recognition Using A Multi-Fingered Dextrous Hand Allen, Peter K.; Roberts, Kenneth S. 1988 Reports Computer science
314. Highlighting User Related Advice McKeown, Kathleen; Weida, Robert Anthony 1988 Reports Computer science
315. Image Formats: Five Years after the AAPM Standard for Digital Image Interchange Maguire, Gerald Q.; Noz, Marilyn E. 1988 Reports Computer science
316. Image Understanding and Robotics Research at Columbia University Kender, John R.; Allen, Peter K.; Boult, Terrance E.; Ibrahim, Hussein 1988 Reports Computer science
318. IMPROC: An Interactive Image Processing Software Package Wolberg, George 1988 Reports Computer science
319. Incremental Dynamic Semantics for Language-Based Programming Environments Kaiser, Gail E. 1988 Reports Computer science
320. Incremental Evaluation of Ordered Attribute Grammars for Asynchronous Subtree Replacements Micallef, Josephine 1988 Reports Computer science
321. Inferring User-Oriented Advice in ADVISOR Weida, Robert Anthony; McKeown, Kathleen 1988 Reports Computer science
323. Intelligent Assistance for Software Development and Maintenance Kaiser, Gail E.; Feiler, Peter H.; Popovich, Steven S. 1988 Reports Computer science
324. Mechanical Generation of Heuristics for Intractable Theories Ellman, Thomas 1988 Reports Computer science
325. Methods and Approaches for Real-Time Hierarchical Motion Detection Singh, Ajit; Allen, Peter K. 1988 Reports Computer science
326. Minimum-Knowledge Interactive Proofs for Decision Problems Galil, Zvi; Haber, Stuart; Yung, Moti 1988 Reports Computer science
331. Notes on the Implementation of a Remote Fork Mechanism Smith, Jonathan M.; Ioannidis, John 1988 Reports Computer science
332. On the Power of Probabilistic Polynomial Time:PNP[log] ⊆ PP Hemachandra, Lane A.; Wechsung, Gerd 1988 Reports Computer science
333. On the Recovery of Superellipsoids Boult, Terrance E.; Gross, Ari D. 1988 Reports Computer science
334. On the Structure of Solutions of Computable Real Functions Hartmanis, Juris; Hemachandra, Lane A. 1988 Reports Computer science
335. Parallel Algorithmic Techniques for Combinatorial Computation Eppstein, David; Galil, Zvi 1988 Reports Computer science
336. Performance Analysis and Improvement in UNIX File System Tree Traversal Smith, Jonathan M. 1988 Reports Computer science
337. Performance Evaluation of Global Reading of Entire Databases Pu, Calton; Hong, Christine H.; Wha, Jae M. 1988 Reports Computer science
340. Segmentation of Specular Highlights from Object Surfaces Wolff, Lawrence B. 1988 Reports Computer science
341. Sequence Comparison with Mixed Convex and Concave Costs Eppstein, David 1988 Reports Computer science
343. Solving the Depth Interpolation Problem on a Parallel Architecture with Efficient Numerica1 Methods Choi, Dong Jae 1988 Reports Computer science
344. Speeding up Dynamic Programming with Application to the Computation of RNA Structure Eppstein, David; Galil, Zvi; Giancarlo, Raffaele 1988 Reports Computer science
345. Split-Transactions for Open-Ended Activities Pu, Calton; Kaiser, Gail E.; Hutchinson, Norman 1988 Reports Computer science
346. Structure of Complexity Classes: Separations, Collapses, and Completeness Hemachandra, Lane A. 1988 Reports Computer science
347. Support for Reliable Distributed Computing Kaiser, Gail E.; Hseush, Wenwey 1988 Reports Computer science
348. Synchronization Communication and I/O Factors In Database Machine Performance Lowry, Andy 1988 Reports Computer science
349. The Application of Approximation and Complexity Theory Methods to the Solution of Computer Vision Problems Hatzitheodorou, Michael 1988 Reports Computer science
350. The derivation of two-dimensional surface shape from shadows Hatzitheodorou, Michael 1988 Reports Computer science
352. 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
354. Transparent Concurrent Execution of Mutually Exclusive Alternatives Smith, Jonathan M.; Maguire, Gerald Q. 1988 Reports Computer science
355. Tutoring That Responds to User Questions and Provides Enrichment Wolz, Ursula 1988 Reports Computer science
356. User's Manual for Pyramid Emulation on The Connection Machine Brown, Lisa Gottesfeld; Ju, Qifan; Norman, Cynthia 1988 Reports Computer science
357. A Contrastive Study of Functional Unification Grammar for Surface Language Generation: A Case Study in Choice of Connectives McKeown, Kathleen; Elhadad, Michael 1989 Reports Computer science
358. Acquisition and Interpretation of 3-D Sensor Data from Touch Allen, Peter K.; Michelman, Paul 1989 Reports Computer science
359. A Critique of the llc Parallel Language and Some Solutions Mills, Russell C. 1989 Reports Computer science
360. A Flexible Transaction Model for Software Engineering Kaiser, Gail E. 1989 Reports Computer science
362. A Linear-Time Algorithm for Concave One-Dimensional Dynamic Programming Galil, Zvi; Park, Kunsoo 1989 Reports Computer science
363. An Abort Mechanism for Nested Distributed Transactions Duchamp, Dan 1989 Reports Computer science
364. An Algorithm to Recover Generalized Cylinders from a Single Intensity View Gross, Ari D.; Boult, Terrance E. 1989 Reports Computer science
366. An Estimation-Theoretic Framework for Image-Flow Computation Singh, Ajit 1989 Reports Computer science
367. A New Paradigm for Parallel and Distributed Rule-Processing Wolfson, Ouri; Ozeri, Aya 1989 Reports Computer science
368. An Improved Algorithm for Approximate String Matching Galil, Zvi; Park, Kunsoo 1989 Reports Computer science
371. An Optimal O (log log n) Time Parallel String Matching Algorithm Breslauer, Dany; Galil, Zvi 1989 Reports Computer science
373. An Overview of the Synthesis Operating System Pu, Calton; Massalin, Henry 1989 Reports Computer science
374. A Procedure for the Selection of Connectives: How Deep Is the Surface? Elhadad, Michael; McKeown, Kathleen 1989 Reports Computer science
375. A regularized solution of shape from shadows Hatzitheodorou, Michael; Jackowski, Tomasz; Papageorgiou, Anargyros 1989 Reports Computer science
376. A Survey of Machine Learning Systems Integrating Explanation-Based and Similarity-Based Methods Danyluk, Andrea Pohoreckyj 1989 Reports Computer science
378. Average Case Complexity of Multivariate Integration Wozniakowski, Henryk 1989 Reports Computer science
379. A Visual Language for Browsing, Undoing, and Redoing Graphical Interface Commands Kurlander, David; Feiner, Steven K. 1989 Reports Computer science
380. Camera Placement Planning Avoiding Occlusion: Test Results Using a Robotic Hand/Eye System Tarabanis, Kostantinos; Tsai, Roger Y. 1989 Reports Computer science
381. Concurrency Control in Advanced Database Applications Barghouti, Naser S.; Kaiser, Gail E. 1989 Reports Computer science
382. Concurrent Execution of Mutually Exclusive Alternatives Smith, Jonathan M. 1989 Reports Computer science
383. Coordinating a Robot Arm and: Multi-finger Hand Using the Quaternion Representation Roberts, Kenneth S. 1989 Reports Computer science
384. Cost Function Error in Asynchronous Parallel Simulated Annealing Algorithms Durand, M. D. 1989 Reports Computer science
386. Data Migration in an Object-Oriented Software Development Environment Sokolsky, Michael 1989 Reports Computer science
387. Data Structures and Algorithms for Disjoint Set Union Problems Galil, Zvi; Italiano, Giuseppe F. 1989 Reports Computer science
388. Dictionaries for Language Generation Accounting for Co-occurrence Knowledge Smadja, Frank A. 1989 Reports Computer science
389. Dynamic Data Structures for Series Parallel Digraphs Italiano, Giuseppe F.; Spaccamela, Alberto Marchetti; Nanni, Umberto 1989 Reports Computer science
390. Energy-Based Segmentation of Very Sparse Range Surfaces Boult, Terrance E.; Lerner, Mark D. 1989 Reports Computer science
391. Estimating the Largest Eigenvalue by the Power and Lanczos Algorithms with a Random Start Kuczynski, Jacek; Wozniakowski, Henryk 1989 Reports Computer science
392. Experience with Process Modeling in the Marvel Software Development Environment Kernel Kaiser, Gail E. 1989 Reports Computer science
393. Exploring "Multiple Worlds" in Parallel Smith, Jonathan M.; Maguire, Gerald Q. 1989 Reports Computer science
395. Extending the MERCURY System to Support Teams of Ada Programmers Micallef, Josephine; Kaiser, Gail E. 1989 Reports Computer science
396. Finding New Rules for Incomplete Theories: Induction with Explicit Biases in Varying Contexts Danyluk, Andrea Pohoreckyj 1989 Reports Computer science
397. FUF: the Universal Unifier User Manual Version 2.0 Elhadad, Michael 1989 Reports Computer science
398. Full-Text Indexing Based on Lexical Relations Smadja, Frank A.; Maarek, Yoelle S. 1989 Reports Computer science
399. Graph Imbeddings and Overlap Matrices (Preliminary Report) Chen, Jianer; Gross, Jonathan L. 1989 Reports Computer science
400. Haptic Perception with a Robot Hand: Requirements and Realization Michelman, Paul; Allen, Peter K. 1989 Reports Computer science