PhD Alumni

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