PhD Alumni

Displaying 201 - 250 of 794
Last First Year Dissertation Advisor
Fekete Gyorgy 1988 Object recognition using property spheres Larry Davis
Fernandez Redonet Jose 1994 Disjunctive Deductive Databases Jack Minker
Ferreira Renato 2001 Compiler Techniques for Data Parallel Applications using Very large Multi-Dimensional Datasets Joel Saltz
Filimonov Denis 2011 Decision Tree-Based Syntactic Language Modeling  Philip Resnik
Fischer Jeffrey 1996 Compositional verification by model checking for counter-examples Richard Gerber
Fishman Daniel 1973 Experiments with a Resolution-Based Deductive Question-Answering System and a Proposed Clause Representation for Parallel Search Jack Minker
Flake Gary 1993 Nonmonotonic activation functions in multilayer perceptrons James Reggia
Fonseca Guilherme 2007 Approximate Range Searching in the Absolute Error Model  David Mount
Fontana Peter 2014 Towards A Unified Theory of Timed Automata  Rance Cleaveland
Ford Gary 1977 An investigation of embeddings of cellular spaces for cellular automata Edmundson
Forman Ira 1979 On the decomposition of programs into primes Mills
Fouche Sandro 2010 Large Scale Automated Test Scheduling and Execution Adam Porter
Frangiadakis Nikolaos 2012 Connectivity and Data Transmission over Wireless Mobile Systems  Nicholas Roussopoulos
Frederickson Greg 1977 Approximation algorithms for NP-hard routing problems Matthew Hecht
Friedland Noah 1993 Utilizing energy function and description length minimization for integrated delineation, representation, and classification of objects Azriel Rosenfeld
Friedler Sorelle 2010 Geometric Algorithms for Objects in Motion  David Mount
Fujimura Kikuo 1990 Motion planning in dynamic domains Hanan Samet
Furr Michael 2009 Combining Static and Dynamic Typing in Ruby  Jeffrey Foster
Gaasterland Terry 1992 Generating Cooperative Answers in Deductive Databases Jack Minker
Gal Annie 1988 Cooperative Responses in Deductive Databases Jack Minker
Gandhi Rajiv 2003 Broadcast Scheduling Samir Khuller
Gao Zebao 2017 Quantifying Flakiness and Minimizing its Effects on Software Testing  Atif Memon
Gavrila Dariu 1996 Vision-based 3-D tracking of humans in action Larry Davis
Ghanem Nagia 2007 Petri Net Models for Event Recognition in Surveillance Videos  Larry Davis
Gharai Ladan 1998 Multi-Platform Performance Models for Digital Video Systems Richard Gerber
Ghodsi Mohammadreza 2012 Searching, Clustering and Evaluating Biological Sequences  Mihai Pop
Ghosh Subrata 1994 Heuristic Search with Limited Resources Dana Nau
Ginat David 1989 Adaptive ordering of contending processes in distributed systems Shankar Agrawala
Gishen Jeffrey 1978 A method for the formal derivation of programs and its applicability to automatic program synthesis R.E. Noonan
Gittens Shaun 2006 Neural Network Generation of Temporal Sequences from Single Static Vector Inputs Using Varying Length Distal Target Sequences  James Reggia
Giuliano Mark 1990 The Control and Execution of Parallel Logic Programs Jack Minker
Glenn James 1998 Implementing WSIS via Finite Automata William Gasarch
Godfrey Parke 1999 An Architecture and Implementation of a Cooperative Database System Jack Minker
Golbeck Jennifer 2005 Computing and Applying Trust in Web-Based Social Networks  Hendler
Golmie Nada 2002 Coexistence of Bluetooth and 802.11 networks A. Udaya Shankar
Golub Evan 1999 Empirical Studies in Parallel Sorting William Gasarch
Gomaa Walid 2007 Model Theory and Complexity Theory  William Gasarch
Good Lance 2003 Zoomable User Interfaces for the Authoring and Delivery of Slide Presentations Ben Bederson
Gopalakrishnan Ponani 1986 Parellel Approximate Algorithms for Combinatorialy Hard Problems Laveen Kanal
Gopalakrishnan Vijay 2006 System Support for Keyword-Based Search in Structured Peer-to-Peer Systems  Bobby Bhattacharjee
Gordon Diana 1990 Active bias adjustment for incremental, supervised concept learning Don Perlis
Gordon Karen 1981 On the construction of representative test workloads Ashok Agrawala
Gordon Samuel 2010 Fairness in Secure Computation  Jonathan Katz
Gordon Karen 1981 On the Construction of Representative Test Workloads Ashok Agrawala
Goyal Amit 2013 Streaming and Sketch Algorithms for Large Data NLP  Hal Daumé III
Gray James 1992 Multilevel security of probabilistic systems Victor Basili
Green Rebecca 2004 Inducing Semantic Frames From Lexical Resources  Bonnie Dorr
Grinberg Milton 1980 A knowledge-based design environment for digital electronics Rieger
Groce Adam 2014 New Notions and Mechanisms for Statistical Privacy  Jonathan Katz
Grushin Alexander 2007 Adapting Swam Intelligence for the Self-Assembly of Prespecified Artificial Structures  James Reggia