1001. Are maintenance expert systems practical now? Waldes, Peter; Lustgarten, Janet; Stolfo, Salvatore 1985 Reports Computer science
1002. A simple preprocessing scheme to extract and balance implicit parallelism in the concurrent match of production rules Stolfo, Salvatore; Miranker, Daniel P.; Mills, Russell C. 1985 Reports Computer science
1003. A Simple Scheme for a Fault Tolerant DADO Machine Stolfo, Salvatore 1985 Reports Computer scienceArtificial intelligence
1006. Clocking Schemes for High Speed Digital Systems Unger, Stephen; Tan, Chung-Jen 1985 Reports Computer scienceArtificial intelligence
1007. Compiling Path Expressions into VLSI Circuits Anantharaman, T. S.; Clarke, E. M.; Foster, M. J.; Mishra, B. 1985 Reports Computer science
1009. Complexity of Computing Topological Degree of Lipschitz Functions in N Dimensions Boult, Terrance E.; Sikorski, Krzysztof A. 1985 Reports Computer science
1010. Complexity or Differential and Integral Equations Werschulz, Arthur G. 1985 Reports Computer scienceMathematics
1011. Contributions to Information-Based Complexity, Image Understanding,and Logic Circuit Design Lee, David 1985 Reports Computer science
1012. Contributions to information-based complexity, image understanding and logic circuit design. Lee, David 1985 Reports Computer science
1013. DADO: A Parallel Computer for Artificial Intelligence Stolfo, Salvatore 1985 Reports Computer scienceArtificial intelligence
1014. Depth-First Iterative Deepening: An Optimal Admissible Tree Search Korf, Richard E. 1985 Reports Computer science
1015. Description strategies for naive and expert users Paris, Cecile L. 1985 Reports Computer science
1016. Development Tools For Communication Protocols Nounou, Nihal; Yemini, Yechiam 1985 Reports Computer science
1017. Discourse Strategies for Using Natural-Language Text McKeown, Kathleen 1985 Reports Computer scienceArtificial intelligence
1018. Distributed Algorithms in Synchronous Broadcasting Networks Galil, Zvi; Landau, Gad M.; Yung, Moti 1985 Reports Computer science
1019. Equivalent Descriptions of Generalized Cylinders Roberts, Kenneth S. 1985 Reports Computer science
1020. Explanation and Acquisition in Expert Systems Using Support Knowledge Pasik, Alexander J.; Christensen, Jens; Gordin, Douglas; Stancato, Agata; Stolfo, Salvatore 1985 Reports Computer science
1021. Finding a Maximum-Genus Graph Imbedding Furst, Merrick L.; Gross, Jonathan L.; McGeoch, Lyle A. 1985 Reports Computer science
1022. Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness Ellman, Thomas 1985 Reports Computer science
1023. Generating Admissible Heuristics by Criticizing Solutions to Relaxed Models Hansson, Othar; Mayer, Andrew E.; Yung, Moti 1985 Reports Computer science
1024. Genus Distributions for Two Classes of Graphs Furst, Merrick L.; Gross, Jonathan L.; Statman, Richard 1985 Reports Computer science
1025. 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
1026. Hierarchy for Imbedding-Distribution Invariants of a Graph Gross, Jonathan L.; Furst, Merrick L. 1985 Reports Computer science
1027. Implementation of the GMR Algorithm for Large Symmetric Eigenproblems Kuczynski, Jacek 1985 Reports Computer science
1028. 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
1029. Initiatory and Reactive System Roles in Human Computer Discourse Matthews, Kevin 1985 Reports Computer science
1030. Integrating Learning: Controlling Explanation Lebowitz, Michael 1985 Reports Computer scienceArtificial intelligence
1032. Miss Manners: A Specialized Silicon Compiler for Synchronizers Balraj, Timothy S.; Foster, Michael J. 1985 Reports Computer science
1033. More Rules May Mean Faster Parallel Execution Stolfo, Salvatore; Miranker, Daniel P.; Mills, Russell C. 1985 Reports Computer science
1034. Natural Language Interfaces to Expert Systems Moerdler, Galina Datskovsky 1985 Reports Computer science
1036. 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
1037. On the Complexity of Composition and Generalized Composition of Power Series Brent, R. P.; Traub, Joseph F. 1985 Reports Computer science
1038. On the Optimal Solution of Large Eigenpair Problems Kuczynski, Jacek 1985 Reports Computer science
1039. Optimal Algorithm for Linear Problems with Gaussian Measures Wasilkowski, Grzegorz W. 1985 Reports Computer science
1040. Optimal Algorithms for Image Understanding: Current Status and Future Plans Lee, David 1985 Reports Computer science
1041. Reproducing Kernels for Visual Surface Interpolation. Boult, Terrance E. 1985 Reports Computer science
1042. Specification of Interpreters and Debuggers Using an Extension of Attribute Grammars Kaiser, Gail E. 1985 Reports Computer science
1043. Story Telling as Planning and Learning Lebowitz, Michael 1985 Reports Computer scienceArtificial intelligence
1044. Surface Orientation and Segmentation from Perspective Views of Parallel-Line Textures Moerdler, Mark L.; Kender, John R. 1985 Reports Computer science
1045. Symmetric Public-Key Encryption Galil, Zvi; Landau, Gad M.; Yung, Moti 1985 Reports Computer science
1046. Tailoring Explanations for the User McKeown, Kathleen; Wish, Myron; Matthews, Kevin 1985 Reports Computer science
1047. Taking the Initiative for System Goals in Cooperative Dialogue Matthews, Kevin 1985 Reports Computer science
1049. The Use of Memory in Text Processing Lebowitz, Michael 1985 Reports Computer scienceArtificial intelligence
1050. Towards More Graceful Interaction: A Survey of Question-Answering Programs Paris, Cecile L. 1985 Reports Computer scienceArtificial intelligence
1051. Towards the Parallel Execution of Rules in Production System Programs Ishida, Toru; Stolfo, Salvatore 1985 Reports Computer science
1052. Unifying Representation and Generalization: Understanding Hierarchically Structured Objects Wasserman, Kenneth 1985 Reports Computer science
1053. Visual Surface Interpolation: A Comparison of Two Methods Boult, Terrance E. 1985 Reports Computer science
1054. Algebraic Specification-Based Performance Analysis or Communication Protocols Nounou, Nihal; Yemini, Yechiam 1984 Reports Computer science
1056. An Eight-Processor Chip for a Massively Parallel Machine Shaw, David Elliot; Sabety, Theodore M. 1984 Reports Computer science
1057. An O(EV log V) Algorithm for Finding a Maximal Weighted Matching in General Graphs Galil, Zvi; Micali, Silvio; Gabow, Harold 1984 Reports Computer science
1059. A Note on Implementing OPS5 Production Systems on DADO Stolfo, Salvatore 1984 Reports Computer science
1060. An Overview of the DADO Parallel Computer Lerner, Mark D.; Maguire, Gerald Q.; Stolfo, Salvatore 1984 Reports Computer science
1063. A Statistical Mechanics of Some Interconnection Networks Pinsky, Eugene; Yemini, Yechiam 1984 Reports Computer science
1064. A Survey of Tree-Walk Evaluation Strategies for Attribute Grammars Yellin, Daniel 1984 Reports Computer science
1065. Asymptotic Optimality of the Bisection Method Sikorski, Krzysztof A.; Trojan, G. M. 1984 Reports Computer scienceMathematics
1066. Can We Approximate Zeros of Functions with Non-zero Topological Degree? Boult, Terrance E.; Sikorski, Krzysztof A. 1984 Reports Computer science
1067. Concept Learning in a Rich Input Domain: Generalization-Based Memory Lebowitz, Michael 1984 Reports Computer science
1068. Construction Through Decomposition: A Linear Time Algorithm for the N-queens Problem Abramson, Bruce; Yung, Mordechai M. 1984 Reports Computer science
1069. Creating Characters in a Story-Telling Universe Lebowitz, Michael 1984 Reports Computer scienceInformation scienceLiterature
1070. Cryptoprotocols: Subscription to a Public Key, the Secret Blocking and the Multi-Player Mental Poker Game Yung, Mordechai M. 1984 Reports Computer science
1071. DADO: A Parallel Processor for Expert Systems Stolfo, Salvatore; Miranker, Daniel P. 1984 Reports Computer science
1072. Determining the Level of Expertise of a User of a Question Answering System Paris, Cecile L. 1984 Reports Computer science
1073. Development Tools for Communication Protocols: An Overview Nounou, Nihal; Yemini, Yechiam 1984 Reports Computer science
1074. Execution or OPS5 Production Systems on a Massively Parallel Machine Hillyer, Bruce K.; Shaw, David Elliot 1984 Reports Computer science
1075. Experience with a Production Compiler Automatically Generated from an Attribute Grammar Farrow, Rodney 1984 Reports Computer science
1076. Finite Element Methods Are Not Always Optimal Werschulz, Arthur G. 1984 Reports Computer science
1077. Five Parallel Algorithms for Production System Execution on the DADO Machine Stolfo, Salvatore 1984 Reports Computer science
1079. Image Understanding Algorithms on Fine-Grained Tree-Structured SIMD Machines Ibrahim, Hussein A. H. 1984 Reports Computer science
1080. Interest and Predictability: Deciding What to Learn, When to Learn Lebowitz, Michael 1984 Reports Computer science
1082. Linear Problems (with Extended Range) Have Linear Optimal Algorithms Packel, Edward W. 1984 Reports Computer science
1083. Logic Programming Using Parallel Associative Operations Taylor, Stephen; Lowry, Andy; Maguire, Gerald Q.; Stolfo, Salvatore 1984 Reports Computer science
1085. LPS Algorithms: A Critical Analysis Lowry, Andy; Taylor, Stephen; Stolfo, Salvatore 1984 Reports Computer science
1086. LPS Algorithms: A Detailed Examination Lowry, Andy; Taylor, Stephen; Stolfo, Salvatore 1984 Reports Computer science
1087. Menu Interfaces to Expert Systems: Overview and Evaluation Moerdler, Galina Datskovsky 1984 Reports Computer science
1088. Minimal number of function evaluations for computing topological degree in two dimensions Sikorski, Krzysztof A. 1984 Reports Computer scienceMathematics
1089. Natural Language for Expert Systems: Comparisons with Database Systems McKeown, Kathleen 1984 Reports Computer scienceInformation science
1090. Performance Estimates tor the DADO Machine: A Comparison of TREAT and RETE Miranker, Daniel P. 1984 Reports Computer science
1091. PPL/M: The System Level Language for Programming the DADO Machine Stolfo, Salvatore; Miranker, Daniel P.; Lerner, Mark D. 1984 Reports Computer science
1092. ||PSL: A Parallel Lisp for the DADO Machine Biema, Michael van; Lerner, Mark D.; Maguire, Gerald Q.; Stolfo, Salvatore 1984 Reports Computer science
1093. Putting Pieces Together: Understanding Patent Abstracts Lebowitz, Michael 1984 Reports Computer scienceInformation science
1094. Relational Query Processing of the Non-Von Supercomputer. Shaw, David Elliot 1984 Reports Computer science
1095. SIMD and MSIMD Variants of the NON-VON Supercomputer Shaw, David Elliot 1984 Reports Computer science
1096. Simultaneous Firing of Production Rules on Tree Structured Machines Ishida, Toru; Stolfo, Salvatore 1984 Reports Computer science
1097. Some Nonlinear Problems Are as Easy as the Approximation Problem Wasilkowski, Grzegorz W. 1984 Reports Computer science
1098. Study of Linear Information for Classes of Polynomial Equations Sikorski, Krzysztof A. 1984 Reports Computer science
1099. Taking the Initiative in Problem-Solving Discourse Matthews, Kevin; McKeown, Kathleen 1984 Reports Computer science
1100. The Automatic Inversion of Attribute Grammars Yellin, Daniel; Mueckstein, Eva-Maria M. 1984 Reports Computer science