151. A Simple Scheme for a Fault Tolerant DADO Machine Stolfo, Salvatore 1985 Reports Computer scienceArtificial intelligence
154. Clocking Schemes for High Speed Digital Systems Unger, Stephen; Tan, Chung-Jen 1985 Reports Computer scienceArtificial intelligence
155. Compiling Path Expressions into VLSI Circuits Anantharaman, T. S.; Clarke, E. M.; Foster, M. J.; Mishra, B. 1985 Reports Computer science
157. Complexity of Computing Topological Degree of Lipschitz Functions in N Dimensions Boult, Terrance E.; Sikorski, Krzysztof A. 1985 Reports Computer science
158. Complexity or Differential and Integral Equations Werschulz, Arthur G. 1985 Reports Computer scienceMathematics
159. Contributions to Information-Based Complexity, Image Understanding,and Logic Circuit Design Lee, David 1985 Reports Computer science
160. Contributions to information-based complexity, image understanding and logic circuit design. Lee, David 1985 Reports Computer science
161. DADO: A Parallel Computer for Artificial Intelligence Stolfo, Salvatore 1985 Reports Computer scienceArtificial intelligence
162. Depth-First Iterative Deepening: An Optimal Admissible Tree Search Korf, Richard E. 1985 Reports Computer science
163. Description strategies for naive and expert users Paris, Cecile L. 1985 Reports Computer science
164. Development Tools For Communication Protocols Nounou, Nihal; Yemini, Yechiam 1985 Reports Computer science
165. Discourse Strategies for Using Natural-Language Text McKeown, Kathleen 1985 Reports Computer scienceArtificial intelligence
166. Distributed Algorithms in Synchronous Broadcasting Networks Galil, Zvi; Landau, Gad M.; Yung, Moti 1985 Reports Computer science
167. Equivalent Descriptions of Generalized Cylinders Roberts, Kenneth S. 1985 Reports Computer science
168. Explanation and Acquisition in Expert Systems Using Support Knowledge Pasik, Alexander J.; Christensen, Jens; Gordin, Douglas; Stancato, Agata; Stolfo, Salvatore 1985 Reports Computer science
169. Finding a Maximum-Genus Graph Imbedding Furst, Merrick L.; Gross, Jonathan L.; McGeoch, Lyle A. 1985 Reports Computer science
170. Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness Ellman, Thomas 1985 Reports Computer science
171. Generating Admissible Heuristics by Criticizing Solutions to Relaxed Models Hansson, Othar; Mayer, Andrew E.; Yung, Moti 1985 Reports Computer science
172. Genus Distributions for Two Classes of Graphs Furst, Merrick L.; Gross, Jonathan L.; Statman, Richard 1985 Reports Computer science
173. Guide to the Unification Process and Its Implementation: Progress Report on Extending the Grammar Paris, Cecile L.; Liong, Kwee Tjoe 1985 Reports Computer scienceArtificial intelligence
174. Hierarchy for Imbedding-Distribution Invariants of a Graph Gross, Jonathan L.; Furst, Merrick L. 1985 Reports Computer science
175. Implementation of the GMR Algorithm for Large Symmetric Eigenproblems Kuczynski, Jacek 1985 Reports Computer science
176. Information Based Complexity Applied to Optimal Recovery of the 2 1/2-D Sketch Kender, John R.; Lee, David; Boult, Terrance E. 1985 Reports Computer science
177. Initiatory and Reactive System Roles in Human Computer Discourse Matthews, Kevin 1985 Reports Computer science
178. Integrating Learning: Controlling Explanation Lebowitz, Michael 1985 Reports Computer scienceArtificial intelligence
180. Miss Manners: A Specialized Silicon Compiler for Synchronizers Balraj, Timothy S.; Foster, Michael J. 1985 Reports Computer science
181. More Rules May Mean Faster Parallel Execution Stolfo, Salvatore; Miranker, Daniel P.; Mills, Russell C. 1985 Reports Computer science
182. Natural Language Interfaces to Expert Systems Moerdler, Galina Datskovsky 1985 Reports Computer science
184. On the Application of Massively Parallel SIMD Tree Machines to Certain Intermediate-Level Vision Tasks Ibrahim, Hussein; Kender, John R.; Shaw, David Elliot 1985 Reports Computer science
185. On the Complexity of Composition and Generalized Composition of Power Series Brent, R. P.; Traub, Joseph F. 1985 Reports Computer science
186. On the Optimal Solution of Large Eigenpair Problems Kuczynski, Jacek 1985 Reports Computer science
187. Optimal Algorithm for Linear Problems with Gaussian Measures Wasilkowski, Grzegorz W. 1985 Reports Computer science
188. Optimal Algorithms for Image Understanding: Current Status and Future Plans Lee, David 1985 Reports Computer science
189. Reproducing Kernels for Visual Surface Interpolation. Boult, Terrance E. 1985 Reports Computer science
190. Specification of Interpreters and Debuggers Using an Extension of Attribute Grammars Kaiser, Gail E. 1985 Reports Computer science
191. Story Telling as Planning and Learning Lebowitz, Michael 1985 Reports Computer scienceArtificial intelligence
192. Surface Orientation and Segmentation from Perspective Views of Parallel-Line Textures Moerdler, Mark L.; Kender, John R. 1985 Reports Computer science
193. Symmetric Public-Key Encryption Galil, Zvi; Landau, Gad M.; Yung, Moti 1985 Reports Computer science
194. Tailoring Explanations for the User McKeown, Kathleen; Wish, Myron; Matthews, Kevin 1985 Reports Computer science
195. Taking the Initiative for System Goals in Cooperative Dialogue Matthews, Kevin 1985 Reports Computer science
197. The Use of Memory in Text Processing Lebowitz, Michael 1985 Reports Computer scienceArtificial intelligence
198. Towards More Graceful Interaction: A Survey of Question-Answering Programs Paris, Cecile L. 1985 Reports Computer scienceArtificial intelligence
199. Towards the Parallel Execution of Rules in Production System Programs Ishida, Toru; Stolfo, Salvatore 1985 Reports Computer science
200. Unifying Representation and Generalization: Understanding Hierarchically Structured Objects Wasserman, Kenneth 1985 Reports Computer science