PhD Alumni

Last First Yearsort descending Dissertation Advisor
Kohli Madhur 1987 Controlling the Execution of Logic Programs Jack Minker
Antoy Sergio 1987 Automatically provable specifications John D. Gannon
Hung Yubin 1988 Processing geometric representations on SIMD computers Azriel Rosenfeld
Drapkin Jennifer 1988 Step-logic :2easoning situated in time Don Perlis
Fekete Gyorgy 1988 Object recognition using property spheres Larry Davis
Pearson Glenn 1988 Foot-operated cursor-position controls for computer workstations :$esign, implementation, and evaluation Ben Shneiderman
Nelson Randal 1988 Visual navigation John Aloimonos
Levi Shem-Tov 1988 A Methodology for Designing Distributed, Fault-Tolerant, and Reactive Real-Time Operating Systems Ashok Agrawala
Dasigi Venugopal 1988 Word sense disambiguation in descriptive text interpretation :! dual-route parsimonious covering model James Reggia
Dillencourt Michael 1988 Graph-theoretical properties of algorithms involving Delaunay triangulations Hanan Samet
Chi Ping-Chung 1988 In Search of Better Decision Making in Computer Game Playing Dana Nau
Gal Annie 1988 Cooperative Responses in Deductive Databases Jack Minker
Waltzman Rand 1989 Geometric problem solving by machine visualization Azriel Rosenfeld
Bhatnagar Raj 1989 Construction of preferred causal hypotheses for reasoning with uncertain knowledge Laveen Kanal
Kambhampati Subbarao 1989 Flexible reuse and modification in hierarchical planning Hendler
Vanecek George 1989 Set Operations on Polyhedra using Decomposition Methods Dana Nau
Ginat David 1989 Adaptive ordering of contending processes in distributed systems Shankar Agrawala
Ang Chuan 1989 Analysis and Applications of Hierarchical Data Structures Hanan Samet
Chandran Sharat 1989 Merging in parallel computational geometry David Mount
Cui Qian 1989 Data-oriented exception handling John D. Gannon
Huang Yennun 1989 Resource allocation with fault tolerance Satish Kumar Tripathi
Jou Emery 1989 Minimal energy splines Gary Don Knott
Margalit Avraham 1989 Efficient image matching Azriel Rosenfeld
Chu Jiang-Hsing 1989 An analysis of caching with an application to binary storage trees Gary Don Knott
Rajasekar Arcot 1989 Semantics of Disjunctive Logic Programs Jack Minker
Yuan Shyan-Ming 1989 An Efficient Communication Structure for Decentralized Algorithms with Fault Tolerance Ashok Agrawala
Waclawsky John 1989 Window dynamics Ashok Agrawala
Yang Qiang 1989 Improving the Efficiency of Planning Dana Nau
Pleszkoch Mark 1990 Machine learning with queries and oracles William Gasarch
Basu Anup 1990 Model-based visual navigation John Aloimonos
Mitchell Elizabeth 1990 A competitive activation mechanism for semantic inference James Reggia
Hellstrom Benjamin 1990 Thermodynamic neural networks for the approximation of combinatorially hard packing problems Laveen Kanal
Sullins John 1990 Distributed learning: Motion in constraint space John Aloimonos
Duggan Dominic 1990 A programming language and environment based on types as specifications William Pugh
Lobo Jose 1990 Semantics for Normal Disjunctive Logic Programs Jack Minker
Huang Yuangeng 1990 Dynamic scheduling problem solving Laveen Kanal
Lin Chih-Chen 1990 Coupling production systems and database systems :! homogeneous approach Timos Sellis
Bennet Thomas 1990 Using control states for parallelism extraction John D. Gannon
Joo Bokgyu 1990 Adaptation and composition of program components Victor Basili
Chou Tsai-Chia 1990 Correspondenceless techniques for computer vision Azriel Rosenfeld
Murphy Sandra 1990 Service specification and protocol construction for a layered architecture A. Udaya Shankar
Fujimura Kikuo 1990 Motion planning in dynamic domains Hanan Samet
Huang Shie-Rei 1990 Design and analysis of some high-performance heuristic search algorithms Larry Davis
Gordon Diana 1990 Active bias adjustment for incremental, supervised concept learning Don Perlis
Ryu Kwan 1990 Efficient parallel algorithms on the network model Joseph Ja' Ja'
Giuliano Mark 1990 The Control and Execution of Parallel Logic Programs Jack Minker
Eastman Roger 1990 Using disparity functionals for stereo correspondence and reconstruction Larry Davis
Karinthi Raghu 1990 An Algebraic Approach to Feature Interactions Dana Nau
Shulman David 1991 A theory of discontinuous regularization John Aloimonos
Spetsakis Minas 1991 The geometry and statistics of visual motion John Aloimonos