Malihe Alikhani | Ph.D. | 2020 | Matthew Stone | Multimodal Communication: Commonsense, Grounding, and Computation Abstract |
Aleander Conway | Ph.D. | 2020 | Martin Farach-Colton | Understanding Dictionaries at the Intersection of Theory and Practice |
Zachary Daniels | Ph.D. | 2020 | Dimitris Metaxas | Explanation-Driven Learning-Based Models for Visual Recognition Tasks |
Guangyan Hu | Ph.D. | 2020 | Thu D. Nguyen | Distributed Frameworks for Approximate Data Analytics |
Tugba Kulahcioglu | Ph.D. | 2020 | Gerard de Melo | Computational Approaches for Semantics-Aware Typographical Choices |
Chaitanya Mitash | Ph.D. | 2020 | Abdeslam Boularias | Scalable, Physics-aware 6D Pose Estimation for Robot Manipulation |
Cong Zhang | Ph.D. | 2020 | Rebecca Wright | Order-Revealing Encryption: New Constructions and Barriers |
Benham Babagholami Mohamadabadi | Ph.D. | 2020 | Vladimir Pavlovic | Unsupervised visual domain adaptation: a probabilistic approach |
Liu Liu | Ph.D. | 2020 | Ulrich Kremer | Trading quality for resource consumption through approximation management |
Chaowei Tan | Ph.D. | 2020 | Dimitris Metaxas | Machine learning based image segmentation for large-scale osteoarthritis analysis |
Abhishek Bhrushundi | Ph.D. | 2020 | Swastik Kopparty | Towards understanding the approximation of Boolean functions by nonclassical polynomials |
Shaoua Duan | Ph.D. | 2020 | Manish Parashar | Addressing fault tolerance for staging based scientific workflows |
Rahul Shome | Ph.D. | 2020 | Kostas Bekris | The problem of many: efficient multi-arm, multi-object task and motion planning with optimality guarantees |
Zhihan Fang | Ph.D. | 2020 | Desheng Zhang | Human mobility modeling based on heterogeneous urban sensing systems |
Eduard Gibert Renart | Ph.D. | 2020 | Manish Parashar | Programming and managing data-driven applications between the edge and the cloud |
Zakary Littlefield | Ph.D. | 2020 | Kostas Bekris | Efficient and asymptotically optimal kinodynamic motion planning |
Ji Zhang | Ph.D. | 2020 | Ahmed Elgammal | Scene graph parsing and its application in cross-modal reasoning tasks |
Aditya Potukuchi | Ph.D. | 2020 | Swastik Kopparty | Combinatorial methods in algorithms and complexity theory |
Ana P. Centeno | Ph.D. | 2019 | Richard P. Martin | Optimizing Task Scheduling in Emergency Departments |
Chintan Dalal | Ph.D. | 2019 | Dimitris Metaxas | High-Dimensional Manifold Geostatistics |
Daeyoung Kim | Ph.D. | 2019 | Vinod Ganapathy | Regulating Smart Devices in Restricted Spaces |
Bo Liu | Ph.D. | 2019 | Dimitris Metaxas | Optimization in Sparse Learning: from Convexity to Non-convexity |
Hai Pham | Ph.D. | 2019 | Vladimir Pavlovic | Learning human facial performance: analysis and synthesis |
Zi Yan | Ph.D. | 2019 | Abhishek Bhattacharjee | Virtual Memory for Next-Generation Tiered Memory Architectures |
Han Zhang | Ph.D. | 2019 | Dimitris Metaxas | Generative adversarial networks for image synthesis |
Chen Cong | Ph.D. | 2019 | Naftaly Minsky | Broad-Spectrum, Dependable, and Secure Protocol Enforcement Mechanism for Multi-Agent Systems |
Dong Yang | Ph.D. | 2019 | Dimitris Metaxas | Deformable models and machine learning for large-scale cardiac MRI image analytics |
Daniela Vianna | Ph.D. | 2019 | Amélie Marian | Searching heterogeneous personal data |
Adarsh Yoga | Ph.D. | 2019 | Santosh Nagarakatte | Parallelism-driven performance analysis techniques for task parallel programs |
Ali Reza Zamani Zadeh Najari | Ph.D. | 2019 | Manish Parashar | Scheduling edge and in-transit computing resources for stream processing applications |
Priya Govindan | Ph.D. | 2018 | Shan Muthukrishnan | Core Structure and Influence in Social Networks |
David Menendez | Ph.D. | 2018 | Santosh Nagarakatte | Practical formal techniques and tools for developing LLVM's peephole optimizations |
Xi Peng | Ph.D. | 2018 | Dimitris Metaxas | Learning Disentangled Representations in Deep Visual Analysis |
Vilelmini Kalampratsidou | Ph.D. | 2018 | Elizabeth Torres | Co-adaptive multimodal interface guided by real-time multisensory stochastic feedback |
Ioannis Manousakis | Ph.D. | 2018 | Thu D. Nguyen | Resource Provisioning and Placement for Cost-efficient Datacenters |
Jun Hu | Ph.D. | 2018 | Ping Li | Collaborative Ranking-based Recommender Systems |
Qiong Hu | Ph.D. | 2018 | Tomasz Imielinski | Boundless Data Analytics through Progressive Mining |
Matthew Mitsui | Ph.D. | 2018 | Chirag Shah | Adopting a Graphical Perspective in Interactive Information Retrieval Research |
Guilherme Mota Cavalcanti A Cox | Ph.D. | 2018 | Abhishek Bhattacharjee | Improving and Complementing Virtual Memory Using Hardware Techniques |
Hai Nguyen | Ph.D. | 2018 | Vinod Ganapathy | Exploring Security Support for Cloud-based Applications |
Jie Shen | Ph.D. | 2018 | Ping Li | Learning from Structured Data: Algorithms, Theories, and Applications |
John Wiedenhoeft | Ph.D. | 2018 | Alexander Schliep | Dynamically compressed Bayesian hidden Markov models using Haar wavelets |
Chaolun Xia | Ph.D. | 2018 | Shan Muthukrishnan | Pricing Problems in Online Markets |
Erick Chastain | Ph.D. | 2017 | Eric Allender | The Multiplicative Weight Updates method for Evolutionary Biology |
Jongpil Kim | Ph.D. | 2017 | Vladimir Pavlovic | Discovering Visual Saliency for Image Analysis |
Babak Saleh | Ph.D. | 2017 | Ahmed Elgammal | A Novel Framework for Understanding Atypical Images |
Abdul Basit | Ph.D. | 2017 | William Steiger | Some Applications of Algebraic Methods in Combinatorial Geometry |
Amey Bhangale | Ph.D. | 2017 | Swastik Kopparty | Property Testing, PCPs and CSPs |
Mrinal Kumar | Ph.D. | 2017 | Swastik Kopparty | Lower bounds for bounded depth arithmetic circuits |
Daehan Kwak | Ph.D. | 2017 | Badri Nath | Supporting route choice via real-time visual traffic information and counterfactual arrival times |
Benjamin Lund | Ph.D. | 2017 | Shubhangi Saraf | Incidences and extremal problems on finite point sets |
Fengpeng Yuan | Ph.D. | 2017 | Janne Lindqvist | Predicting Mobile Interruptibility |
Andrew Dobson | Ph.D. | 2017 | Kostas Bekris | Compact Representations for Efficient Robot Motion Planning with Formal Guarantees |
Fatma B. Durak | Ph.D. | 2017 | David Cash | Cryptanalytic study of property-preserving encryption |
Athanasios Krontiris | Ph.D. | 2017 | Kostas Bekris | Hierarchical Frameworks for Efficient Prehensile Rearrangement with a Robotic Manipulator |
Long Le | Ph.D. | 2017 | Chirag Shah | Extracting Users in Community Question-Answering in Particular Contexts |
Jingjing Liu | Ph.D. | 2017 | Dimitris Metaxas | Exploiting Multispectral and Contextual Information to Improve Human Detection |
Ruilin Liu | Ph.D. | 2017 | Badri Nath | Capturing and Analyzing Human Driving Behavior to Improve Road Travel Experience |
Neil Lutz | Ph.D. | 2017 | Rebecca Wright | Algorithmic Information, Fractal Geometry, and Distributed Dynamics |
Qian Sun | Ph.D. | 2017 | Manish Parashar | Staging-Based Data Management for Extreme Scale Coupled Scientific Workflows |
Meng-Tsung Tsai | Ph.D. | 2017 | Martin Farach-Colton | On the Algorithmic Aspects of Turan's Theorem |
Yan Zhu | Ph.D. | 2017 | Dimitris Metaxas | Towards Active and Interactive Visual Learning |
Tarek El-Gaaly | Ph.D. | 2016 | Ahmed Elgammal | A Joint Framework for Object Recognition: Categorization, Instance Recognition and Pose Estimation |
Chathra Hendahewa | Ph.D. | 2016 | Chirag Shah | Implicit Search Feature Based Approach to Assist Users in Exploratory Search Tasks |
Binh Q. Pham | Ph.D. | 2016 | Abhishek Bhattacharjee | Architectural Support for Efficient Virtual Memory on Big-Memory Systems |
Mark Dilsizian | Ph.D. | 2016 | Dimitris Metaxas | Hybrid Discriminative-Generative Methods and Applications for Human Pose Reconstruction from Monocular Imagery |
Md E. Haque | Ph.D. | 2016 | Thu D. Nguyen | Managing Tail Latency in Interactive Services for Multicore Servers |
Chetan Tonde | Ph.D. | 2016 | Ahmed Elgammal | Supervised Feature Learning via Dependency Maximization |
Rodrigo F. Toso | Ph.D. | 2016 | Casimir Kulikowski | Adaptive Clustering with a Variance-Aware Criterion: An Alternative to k-Means |
Amr Bakry | Ph.D. | 2016 | Ahmed Elgammal | Leveraging Image Manifolds for Visual Learning |
Mohamed H. Elhoseiny | Ph.D. | 2016 | Ahmed Elgammal | Language Guided Visual Perception |
Faisal Khan | Ph.D. | 2016 | Casimir Kulikowski | Semi-Supervised Transductive Regression for Survival Analysis in Medical Prognostics |
Qiang Ma | Ph.D. | 2016 | Shan Muthukrishnan | Modeling Users For Online Advertising |
Minji Wu | Ph.D. | 2016 | Amélie Marian | Corroborating information from multiple sources |
Zhennan Yan | Ph.D. | 2016 | Dimitris Metaxas | Robust Medical Image Recognition and Segmentation |
Sejong Yoon | Ph.D. | 2016 | Vladimir Pavlovic | Generalized Distributed Learning Under Uncertainty for Camera Networks |
Shakeel Butt | Ph.D. | 2015 | Vinod Ganapathy | Self-Service Cloud Computing |
Scott Kulp | Ph.D. | 2015 | Dimitris Metaxas | Ventricular Blood Flow Simulation and Analysis for Cardiovascular Diagnostics |
Vukosi Marivate | Ph.D. | 2015 | Michael L. Littman | Improved Empirical Methods in Reinforcement-Learning Evaluation |
Mustafa G. Uzunbas | Ph.D. | 2015 | Dimitris Metaxas | Automatic and Interactive Segmentations Using Deformable and Graphical Models |
Kevin Sanik | Ph.D. | 2015 | Manish Singh | The relative effectiveness of line drawing algorithms at depicting 3D shape |
Turgay Senlet | Ph.D. | 2015 | Ahmed Elgammal | Visual Localization, Semantic Video Segmentation and Labeling Using Satellite Maps |
Lin Zhong | Ph.D. | 2015 | Dimitris Metaxas | Single Image deblurring with or without face prior and its applications |
John-Austen Francisco | Ph.D. | 2015 | Richard P. Martin | A Novel Characterization of Signal Space Distortion and its Application to the Quantification of Localization Algorithm Error |
Amruta Gokhale | Ph.D. | 2015 | Vinod Ganapathy | Similarity Detection Techniques for Mobile Platform Artifacts |
Rezwana Karim | Ph.D. | 2015 | Vinod Ganapathy | Techniques and Tools for Secure Web Browser Extension Development |
Darja Krushevskaja | Ph.D. | 2015 | Shan Muthukrishnan | Observing and Optimizing Online Ad Assignments |
Cheng Li | Ph.D. | 2015 | Thu D. Nguyen | Improving and Tuning the Performance of Server Systems |
Jason Perry | Ph.D. | 2015 | Rebecca Wright | Putting Secure Computation to Work |
Yixin Xu | Ph.D. | 2015 | Mario Szegedy | Impossibility Theorems and the Universal Algebraic Toolkit |
Jinyun Yan | Ph.D. | 2015 | Shan Muthukrishnan | Analyzing and modeling groups |
Xiang Yu | Ph.D. | 2015 | Dimitris Metaxas | Unconstrained Face Landmark Localization: Algorithms and Applications |
Yang Yu | Ph.D. | 2015 | Dimitris Metaxas | Sparsity-based Methods for Cardiac Magnetic Resonance Image Reconstruction and Analysis |
Peter Borosan | Ph.D. | 2014 | Andrew Nealen | Automatic Meshing and Rigging for the Creation and Deformation of 3D Shapes |
Ishani Chakraborty | Ph.D. | 2014 | Ahmed Elgammal | Object Category Recognition Through Visual-Semantic Context Networks |
Ali El Qursh | Ph.D. | 2014 | Ahmed Elgammal | Online Non-rigid Motion and Scene Layer Segmentation |
Gayatree Ganu | Ph.D. | 2014 | Amélie Marian | Understanding Preferences and Similarities from User-Authored Text: Applications to Search and Recommendations |
Brian Thompson | Ph.D. | 2014 | Shan Muthukrishnan | Models and Algorithms for Event-Driven Networks |
Ariel Weinstein | Ph.D. | 2014 | Michael L. Littman | Local Planning for Continuous Markov Decision Processes |
Qingyuan Deng | Ph.D. | 2014 | #N/A | Active Low-Power Modes for Main Memory |
Sergiu Goschin | Ph.D. | 2014 | Michael L. Littman | Stochastic Dilemmas: Foundations and Applications |
Hans C. Woithe | Ph.D. | 2014 | Ulrich Kremer | Design and Implementation of an Energy Aware Programming Framework for Autonomous Underwater Vehicles |
Mingchen Gao | Ph.D. | 2014 | Dimitris Metaxas | Cardiac Reconstruction and Analysis from High Resolution CT Images |
Md P. Mahmud | Ph.D. | 2014 | Alexander Schliep | Reduced Representations for Efficient Analysis of Genomic Data: From Microarray to High Throughput Sequencing |
Robert Moore | Ph.D. | 2014 | Richard P. Martin | Owl Platform: Design and Evaluation of a Practical Sensor System |
Aleksandar Nikolov | Ph.D. | 2014 | Shan Muthukrishnan | New Computational Aspects of Discrepancy Theory |
Begumhan Turgut | Ph.D. | 2014 | Richard P. Martin | Advances In Instantaneous and Dynamic Localization In Indoor Environments |
Rajat S. Roy | Ph.D. | 2014 | Alexander Schliep | Improving genome assembly by identifying reliable sequencing data |
Mudassir Shabbir | Ph.D. | 2014 | William Steiger | Some Results in Computational and Combinatorial Geometry |
Andrew Tjang | Ph.D. | 2014 | Thu D. Nguyen | Model Based Validation for Improving Availability of Internet Services |
Monica Vroman | Ph.D. | 2014 | Michael L. Littman | Maximum Likelihood Inverse Reinforcement Learning |
John R. Yaros | Ph.D. | 2014 | Tomasz Imielinski | Data Mining Perspectives on Equity Similarity Prediction |
Kien T. Le | Ph.D. | 2013 | #N/A | Managing Energy Usage and Cost Through Load Distribution in Multi-Data-center Services |
John Asmuth | Ph.D. | 2013 | Michael L. Littman | Model-based Bayesian reinforcement learning with generalized priors |
Xinyi Cui | Ph.D. | 2013 | Dimitris Metaxas | Towards Accurate Group Activity Analysis in Videos: Robust Saliency Detection and Effective Feature Modeling |
Mohan Dhawan | Ph.D. | 2013 | Vinod Ganapathy | Rethinking Web Platform Extensibility |
Luke B. Friedman | Ph.D. | 2013 | Eric Allender | Some Applications of Randomness in Computational Complexity |
Lu Han | Ph.D. | 2013 | Liviu Iftode | Social Caching and Vehicular Social Networks: Two Contributions to The Theory and Practice of Online Social Networks |
Liu Yang | Ph.D. | 2013 | Vinod Ganapathy | New Pattern Matching Algorithms for Network Security Applications |
Devendra Desai | Ph.D. | 2013 | Mario Szegedy | Approximability of Modularity Clustering and related results |
Edinah K. Gnang | Ph.D. | 2013 | Ahmed Elgammal | Computational aspects of the Combinatorial Nullstellensatz method via a polynomial approach to matrix and hypermatrix algebra |
Darakhshan J. Mir | Ph.D. | 2013 | Rebecca Wright | Differential Privacy: The privacy-Utility Landscape |
Shahriar Shariat Talkhoonche | Ph.D. | 2013 | Vladimir Pavlovic | Robust Time-Series Retrieval using Adaptive Segmental Alignment |
Tam Vu | Ph.D. | 2013 | Marco Gruteser | Enriching Communication Methods for Composable Mobile Systems |
Michael Wunder | Ph.D. | 2013 | Matthew Stone | Transferable Strategic Meta-reasoning Models |
Fei Yang | Ph.D. | 2013 | Dimitris Metaxas | Facial Expression Transfer by using 3D-Aware Expression Flow |
Rekha Bachwani | Ph.D. | 2012 | #N/A | Preventing and Diagnosing Software Upgrade Failures |
Nikolaos Leonardos | Ph.D. | 2012 | Michael Saks | Information theory methods in communication complexity |
Nicholas Michael | Ph.D. | 2012 | Dimitris Metaxas | A Face Tracking System for Dynamic Event Recognition |
Fengming Wang | Ph.D. | 2012 | Eric Allender | On Circuit Complexity Classes and Iterated Matrix Multiplication |
Lei Wang | Ph.D. | 2012 | Mario Szegedy | Some Problems On Discrete Geometry and Combinatorics |
Luiz Ramos | Ph.D. | 2012 | #N/A | Exploiting Phase-Change Technology in Server Memory Systems |
Shaoting Zhang | Ph.D. | 2012 | Dimitris Metaxas | Towards robust and effective shape prior modeling |
Tin Lam | Ph.D. | 2012 | Naftaly Minsky | Making SOA-Based Systems Coherent and Trustworthy |
Saman Zarandioon | Ph.D. | 2012 | Danfeng Yao | Improving the security and usability of cloud services with user-centric security models |
Wei Zheng | Ph.D. | 2012 | #N/A | Experiment-Based Management of Data Centers |
Baiyang Liu | Ph.D. | 2012 | Casimir Kulikowski | Selection-based Dictionary Learning for Sparse Representation in Visual Tracking |
Ali Nouri | Ph.D. | 2011 | Michael L. Littman | Efficient model-based exploration in continuous state-space environments |
Toufiq Parag | Ph.D. | 2011 | Ahmed Elgammal | Labeling Hypergraph-structured Data using Markov Network |
Jiankuan Ye | Ph.D. | 2011 | Casimir Kulikowski | Experimental Study and Geometrical Analysis on a Linear Programming Support Vector Machine |
Gayathri Chandrasekaran | Ph.D. | 2011 | Richard P. Martin | Direct Inference of Location-related Context from Wireless Signal Strength |
Imdadullah Khan | Ph.D. | 2011 | Endre Szemeredi | Spanning subgraphs in graphs and hypergraphs |
Tracey Lall | Ph.D. | 2011 | Matthew Stone | JobPlan - A New Integrated Representation and Planner for Batch Job Workflow Automation |
Pavel P. Kuksa | Ph.D. | 2011 | Vladimir Pavlovic | Scalable Kernel Methods and Algorithms for General Sequence Analysis |
Rajat Mittal | Ph.D. | 2011 | Mario Szegedy | Application of SDP to product rules and quantum query complexity |
Steve Smaldone | Ph.D. | 2011 | Liviu Iftode | Improving the Performance, Availability, and Security of Data Access for Opportunistic Mobile Computing |
Xiaoxu Wang | Ph.D. | 2011 | Dimitris Metaxas | Meshless Deformable Models for LV Motion and Strain Computation from TMRI |
Peng Yang | Ph.D. | 2011 | Dimitris Metaxas | Facial Expression Recognition and Expression Intensity Estimation |
Smriti Bhagat | Ph.D. | 2011 | Shan Muthukrishnan | Masking and Labeling Problems in Social Network Data Management |
Mangesh Gupte | Ph.D. | 2011 | Michael Saks | Applications of Algorithms to Social Networks, Secretary Problems and Differential Privacy |
Junzhou Huang | Ph.D. | 2011 | Dimitris Metaxas | Structured Sparsity: Theorems, Algorithms and Applications |
Thang Le | Ph.D. | 2011 | Casimir Kulikowski | Clustering by Graph Density Variation Analysis with Density-based Cluster Validity Indices |
Pravin Shankar | Ph.D. | 2011 | Liviu Iftode | Improving Performance, Privacy and Relevance of Location-based Services for Mobile Users |
Marwan Torki | Ph.D. | 2011 | Ahmed Elgammal | Learning the manifolds of local features and their spatial arrangement |
Wenxuan Zhang | Ph.D. | 2011 | Naftaly Minsky | Governance-Based Management of Open Distributed Systems |
Bruno Dufour | Ph.D. | 2010 | Barbara Ryder | Practical analysis of framework-intensive applications |
Atul Kanaujia | Ph.D. | 2010 | Dimitris Metaxas | Conditional Models For 3D Human Pose Estimation |
Qi Wei | Ph.D. | 2010 | Dinesh Pai | Biomechanical Modeling and Simulation of Human Eye Movement |
Jihui Zhao | Ph.D. | 2010 | William Steiger | Partitioning Problems in Discrete and Computational Geometry |
Geetha Jagannathan | Ph.D. | 2010 | Rebecca Wright | Data Privacy in Knowledge Discovery |
Shu Chen | Ph.D. | 2010 | Wade Trappe | Providing Trustworthiness to the Operation of Location Based Services in Mobile Networks |
Carlos Diuk | Ph.D. | 2010 | Michael L. Littman | An Object-oriented Representation for Efficient Reinforcement Learning |
Yuchi Huang | Ph.D. | 2010 | Dimitris Metaxas | Hypergraph Based Visual Object Categorization and Segmentation |
Asif Jamshed | Ph.D. | 2010 | Endre Szemeredi | Embedding Spanning Subgraphs into Large Dense Graphs |
Zhiguo Li | Ph.D. | 2010 | Dimitris Metaxas | Video-based Facial Expression Analysis |
Xiaofeng Mi | Ph.D. | 2010 | Douglas DeCarlo | Representation and Depiction of 2D Shapes using Parts |
Fabio A. Oliveira | Ph.D. | 2010 | #N/A | Towards Mistake-Aware Systems |
Tom Walsh | Ph.D. | 2010 | Michael L. Littman | Efficient Learning of Relational Models for Sequential Decision Making |
Wei Wang | Ph.D. | 2010 | Amélie Marian | Unified Structure and Content Search for Personal Information Management Systems |
Danny M. Kaufman | Ph.D. | 2009 | Dinesh Pai | Coupled Principles for Computational Frictional Contact Mechanics |
Lihong Li | Ph.D. | 2009 | Michael L. Littman | A Unifying Framework for Computational Reinforcement Learning Theory |
Nikita Lytkin | Ph.D. | 2009 | Casimir Kulikowski | Variance-based Clustering Methods and Higher Order Data Transformations and Their Applications |
Andre Madeira | Ph.D. | 2009 | Shan Muthukrishnan | Private Approximation and Streaming Protocols: Theory and Applications |
Christopher Peery | Ph.D. | 2009 | Thu D. Nguyen | Wayfinder: A Federated Information Sharing and Management System |
Zhipeng Zhao | Ph.D. | 2009 | Ahmed Elgammal | Towards a Local-Global Visual Feature-Based Framework for Recognition |
Arati Baliga | Ph.D. | 2008 | Liviu Iftode | Automated Detection and Containment of Stealth Attacks on the Operating System Kernel |
Su Chen | Ph.D. | 2008 | Shan Muthukrishnan | Data Compression in Dynamic Systems |
David DeVault | Ph.D. | 2008 | Matthew Stone | Contribution Tracking: Participating in Task-Oriented Dialogue under Uncertainty |
Timothy Edmunds | Ph.D. | 2008 | Dinesh Pai | Improving Interactive Multisensory Simulation and Rendering Through Focus On Perceptual Processes |
Jerry Hom | Ph.D. | 2008 | Ulrich Kremer | An Execution Context Optimization Framework for Disk Energy |
Pai-Hsi Huang | Ph.D. | 2008 | Vladimir Pavlovic | Protein Homology Detection with Sparse models |
Rui Huang | Ph.D. | 2008 | Dimitris Metaxas | Graphical Models for Object Segmentation |
Mihail N. Ionescu | Ph.D. | 2008 | Naftaly Minsky | A Regulatory Architecture for a Digital Enterprise |
Minyoung Kim | Ph.D. | 2008 | Vladimir Pavlovic | Discriminative Models and Dimensionality Reduction for Regression |
Konstantinos Kleisouris | Ph.D. | 2008 | Richard P. Martin | Improving the Speed and Accuracy of Indoor Localization |
Bethany R. Leffler | Ph.D. | 2008 | Michael L. Littman | Perception-Based Generalization in Model-Based Reinforcement Learning |
Kooksang Moon | Ph.D. | 2008 | Vladimir Pavlovic | Coupled Embedding Of Sequential Processes Using Gaussian Process Models |
Vivek Pathak | Ph.D. | 2008 | Liviu Iftode | Robust Decentralized Authentication for Public Keys and Geographic Location |
Brian K. Russell | Ph.D. | 2008 | Michael L. Littman | Learning-Based Route Management in Wireless Ad Hoc Networks |
Cuneyt O. Tuzel | Ph.D. | 2008 | Peter Meer | Learning on Riemannian Manifolds for Interpretation of Visual Environments |
Gang Xu | Ph.D. | 2008 | Liviu Iftode | Trusted Application Centric Ad Hoc Network |
Bing Bai | Ph.D. | 2007 | Paul Kantor | Feature extraction and matching in content-based retrieval of functional Magnetic Resonance Images |
Suhrid Balakrishnan | Ph.D. | 2007 | David Blei (Princeton University) | Algorithms and Applications for Classifiers of Massive and Structured Data Problems |
Aniruddha Bohra | Ph.D. | 2007 | Liviu Iftode | System Architectures Based on Functionality Offloading |
Yingying Chen | Ph.D. | 2007 | Richard P. Martin | Securing Wireless Networks against Signal Attacks |
Rohan Fernandes | Ph.D. | 2007 | Martin Farach-Colton | Algorithms and LP-Duality Based Lower Bounds in Ad-hoc Radio Networks |
Chen Fu | Ph.D. | 2007 | Barbara Ryder | Improving Software Reliability Using Exception Analysis of Object Oriented Programs |
Taliver Heath | Ph.D. | 2007 | #N/A | Component-level Modeling of Power, Energy, and Temperature |
Chunling Hu | Ph.D. | 2007 | Daniel A. Jimenez | An Infrastructure for Program Power Behavior Characterization and Optimization Evaluation |
Yang Huang | Ph.D. | 2007 | Martin Farach-Colton | The Galois lattice and its application in gene-expression analysis |
Pandurang Kamat | Ph.D. | 2007 | Wade Trappe | Privacy in Emerging Wireless Networks |
Chan-Su Lee | Ph.D. | 2007 | Ahmed Elgammal | Modeling Human Motion Using Manifold Learning and Factorized Generative Models |
Jon C Mesterharm | Ph.D. | 2007 | Haym Hirsh | Improving On-line Learning |
Viorel Mihalef | Ph.D. | 2007 | Dimitris Metaxas | The Marker Level Set method: applications to simulation of liquids |
Nishkam Ravi | Ph.D. | 2007 | Liviu Iftode | Bootstrapping Location-aware Personal Computing |
Xiaoxia Ren | Ph.D. | 2007 | Barbara Ryder | Change Impact Analysis for Java Programs and Applications |
Peter Richter | Ph.D. | 2007 | Mario Szegedy | Quantum walks and ground state problems |
Irina Rozenbaum | Ph.D. | 2007 | Shan Muthukrishnan | FILTERING TECHNIQUES FOR DATA STREAMS |
Constantin Serban | Ph.D. | 2007 | Naftaly Minsky | Advances in Decentralized and Stateful Access Control |
Vladislav Shkapenyuk | Ph.D. | 2007 | Shan Muthukrishnan | Scalable and Robust Data Stream Processing |
Alexander L Strehl | Ph.D. | 2007 | Michael Littman | Probably Approximately Correct (PAC) Exploration in Reinforcement Learning |
Yihua Wu | Ph.D. | 2007 | Shan Muthukrishnan | Streaming Techniques for Statistical Modeling |
Fancong Zeng | Ph.D. | 2007 | Michael L. Littman | Just-in-time and Just-in-place Deadlock Resolution |
Xiaomin Chen | Ph.D. | 2006 | Mario Szegedy | Some Problems in Discrete Geometry |
Aynur Dayanik | Ph.D. | 2006 | Craig Neville-Manning | Using Domain Knowledge for Text Mining |
Eiman Elnahrawy | Ph.D. | 2006 | Richard Martin | Indoor Localization Using Signal Strength |
Dmitriy Fradkin | Ph.D. | 2006 | Casimir Kulikowski | Within-Class and Unsupervised Clustering Improve Accuracy and Extract Local Structure for Supervised Classification |
Xiaolei Huang | Ph.D. | 2006 | Dimitris Metaxas | Shape and Appearance Information Integration in Medical Image Analysis and Computer Vision |
Ramana Isukapalli | Ph.D. | 2006 | Ahmed Elgammal | Learning Effective Interpretation Policies |
Jaewon Kang | Ph.D. | 2006 | Badri Nath | Congestion Control in Wireless Sensor Networks |
Xiaoyan Li | Ph.D. | 2006 | Richard Martin | Characterizing and Accommodating Spatial Aspects of Wireless Networks |
Miguel Mosteiro | Ph.D. | 2006 | Martin Farach-Colton | Upper and Lower Bounds in Radio Networks |
Marcelo Mydlarz | Ph.D. | 2006 | Endre Szemeredi | Packing Theorems in Graph Theory and Packing Integer Programs |
Kiran Nagaraja | Ph.D. | 2006 | Thu D. Nguyen | A Systematic Approach to Quantifying and Improving the Availability of Cluster-Based Internet Services |
Yang Ni | Ph.D. | 2006 | Ulrich Kremer | Programming Ad-Hoc Networks |
Sambuddha Roy | Ph.D. | 2006 | Eric Allender | Complexity Theoretic Aspects of Planar restrictions and Obliviousness |
Akshay Vashist | Ph.D. | 2006 | Casimir Kulikowski | Multipartite Graph Clustering for Structured Clustering and Automating Ortholog Extraction |
HwaSeob Joseph Yun | Ph.D. | 2006 | Casimir Kulikowski | Consistent Triplets in Graph Clustering for Protein Sequence Analysis |
Rong Zhang | Ph.D. | 2006 | Dimitris Metaxas | Image and Video Classification |
Xuhui Ao | Ph.D. | 2005 | Naftaly Minsky | A Hierarchical Model for Distributed Access Control Policies |
Budhaditya Deb | Ph.D. | 2005 | Badri Nath | Algorithms for Resource Utilization in Sensor Networks |
Samir Goel | Ph.D. | 2005 | Tomasz Imielinski | Etiquettte Protocol for Ultra Low Power Operation in Energy Constrained Sensor Networks |
Navin Goyal | Ph.D. | 2005 | Michael Saks | Information Theoretic Limitations on Computation |
Yi Jin | Ph.D. | 2005 | Bahman Kalantari | Combinatorics of Polynomial Root-Finding Algorithms |
Yakov Keselman | Ph.D. | 2005 | Sven Dickinson | Generic Model Abstraction from Examples |
Gabriela Oana Cula | Ph.D. | 2005 | Kristin Dana | Bidirectional Imaging and Modeling of Real-World Textured Surfaces |
Eduardo Souza De Albuquerque Pinheiro | Ph.D. | 2005 | #N/A | Energy Conservation for Server Systems |
Anthony Santella | Ph.D. | 2005 | Doug DeCarlo | The Art of Seeing: Visual Perception in Design and Evaluation of Non-Photorealistic Rendering |
Ravi Venkata Batchu | Ph.D. | 2004 | Daniel Jimenez | Temporal Locality at Procedure Level-It's Study and Explolitation |
Sudeep Bhatnagar | Ph.D. | 2004 | Badri Nath | Distributed Admission Control in Core-Stateless Networks |
Cristian Mihai Borcea | Ph.D. | 2004 | Liviu Iftode | Programming Outdoor Distributed Embedded Systems |
Francisco Matias Cuenca-Acuna | Ph.D. | 2004 | Thu D. Nguyen | A Probabilistic Approach to Building Large Scale Federated Systems |
Samir Datta | Ph.D. | 2004 | Eric Allender | Bounded Depth Arithmetic Circuits |
Bogdan Dorohonceanu | Ph.D. | 2004 | Craig Neville-Manning | Interface Heterogeneity and Group Interaction |
Bogdan Georgescu | Ph.D. | 2004 | Peter Meer | Interpretation of the 3D Visual Environment from Uncalibrated Image Sequences |
Takahiro Murata | Ph.D. | 2004 | Naftaly Minsky | On Regulating Open Distributed Systems |
Dragos Stefan Niculescu | Ph.D. | 2004 | Badri Nath | Forwarding and Positioning Problems in Ad Hoc Networks |
Detlef Ronneberger | Ph.D. | 2004 | Eric Allender | Power from Random Strings |
Florin Sultan | Ph.D. | 2004 | Liviu Iftode | System Support for Service Availability, Remote Healing and Fault Tolerance Using Lazy State Propagation |
Samrat Ganguly | Ph.D. | 2003 | Badri Nath | Mobility Sensitive QoS Provisioning in Wireless cellular networks |
Chung-Hsing Hsu | Ph.D. | 2003 | Ulrich Kremer | Compiler-Directed Dynamic Voltage and Frequency Scaling for CPU Power and Energy Reduction |
Michal Kouck√Ω | Ph.D. | 2003 | Eric Allender | On Traversal Sequences, Exploration Sequences, and Completeness of Kolmogorov Random Strings |
Anna Milanova | Ph.D. | 2003 | Barbara Ryder | Precise and Practical Flow Analysis of Object-Oriented Software |
Glenn Charles Rhoads | Ph.D. | 2003 | Vasek Chv√°tal | Planar Tilings and the Search for an Aperiodic Prototile |
Gary Mitchell Weiss | Ph.D. | 2003 | Haym Hirsh | Learning in the Presence of Rarity: The Effect of Small Disjuncts and Class Distribution on Classifier Learning |
Matthew Richard Arnold | Ph.D. | 2002 | Barbara Ryder | Online Profiling and Feedback-Directed Optimization of Java |
Chumki Basu | Ph.D. | 2002 | Haym Hirsh | Recommendation as Classification and Recommendation as Matching: Two Information-Centered Approaches to Recommendation |
Khaled M Elbassioni | Ph.D. | 2002 | Leonid Khachiyan | Incremental Algorithms for Enumerating Extremal Solutions of Monotone Systems of Submodular inequalities and Their Applications |
Sofus Attila Macskassy | Ph.D. | 2002 | Haym Hirsh | New Techniques in Intelligent Information Filtering |
Sarah Zelikovitz | Ph.D. | 2002 | Haym Hirsh | Using Background Knowledge to Improve Text Classification |
Amin Arshad Abdulghani | Ph.D. | 2001 | Tomasz Imielinski | Cubegrades-Generalization of association rules to mine large datasets |
Sukmoon Chang | Ph.D. | 2001 | Casimir Kulikowski | Sketching Skeletons of Elongated Objects Using Scan Line Algorithm |
Siu Ngan (Vicky) Choi | Ph.D. | 2001 | Martin Farach-Colton | Barnacle: An Assembly Algorithm for Clone-based Sequences of Whole Genomes |
Brian D Davison | Ph.D. | 2001 | Haym Hirsh | The Design and Evaluation of Web Cache Prefetching Techniques |
Srikrishna Divakaran | Ph.D. | 2001 | Michael Saks | Approximation Algorithms for Problems in Scheduling with Set-Ups |
Amr A Elmasry | Ph.D. | 2001 | Michael Fredman | Adaptive Algorithms and Structures |
Safiullah Faizullah | Ph.D. | 2001 | Saul Levy | Measuring and Pricing the Delivered QoS in QoS-enabled Internetworks |
Clark Gregory Hagerty | Ph.D. | 2001 | Casimir Kulikowski | Data Abstraction and analysis Using Qualitative Scaling |
John Iacono | Ph.D. | 2001 | Michael Fredman | Distribution Sensitive Data Structures |
Ayman Ahmed Khalfalah | Ph.D. | 2001 | Endre Szemeredi | Problems in Additive and Computational Number Theory |
Sachin Premsukh Lodha | Ph.D. | 2001 | Endre Szemeredi | On-Line Algorithms and Fast Digital Identity Revocation |
Julio Cesar Navas | Ph.D. | 2001 | Tomasz Imielinski | Geographic Routing in a Datagram Internetwork |
Atanas Ivanov Rountev | Ph.D. | 2001 | Barbara Ryder | Dataflow Analysis of Software Fragments |
Rahul T Shah | Ph.D. | 2001 | Martin Farach-Colton | Undiscretized Dynamic Programming and Ordinal Embeddings |
Pradeep Sudhakar Sudame | Ph.D. | 2001 | B. R. Badrinath | Transformer Tunnels and their Application to Aggregation in IP Networks |
Stefan Langerman F Swarzberg | Ph.D. | 2001 | William Steiger | Algorithms and Data Structures in Computational Geometry |
Arunava Banerjee | Ph.D. | 2000 | Haym Hirsh | The Phase-Space Dynamics of Systems of Spiking Neurons |
Ramkrishna Chatterjee | Ph.D. | 2000 | Barbara Ryder | Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages |
Bela Csaba | Ph.D. | 2000 | Endre Szemeredi | Finding Spanning Subgraphs of Dense Graphs and some New Results on the k-server Problem |
Gabriela Hristescu | Ph.D. | 2000 | Martin Farach-Colton | COFE: A Scalable Feature Extraction Method for Protein and other Complex Object Databases |
Victoria Ungureanu | Ph.D. | 2000 | Naftaly Minsky | A Mechanism For Supporting Communication Policies In Distributed Systems |
Philip Lewis Bohannon | Ph.D. | 1999 | B. R. Badrinath | Fault Resilience In Main-Memory Databases:Handling Process Halting Failures And Data Corruption |
Souripriya Das | Ph.D. | 1999 | Chitoor Srinivasan | Restclk:A Communication Paradigm For Observation And Control Of Object Interaction |
Adrian Dumitrescu | Ph.D. | 1999 | William Steiger | Several Problems In Combinatorial Geometry |
Nathalie Japkowicz | Ph.D. | 1999 | Casimir Kulikowski | Concept-Learning In The Absence Of Counter-Examples: An Autoassociation-Based Approach To Classification |
David M Loewenstern | Ph.D. | 1999 | Haym Hirsh | Sequence Classification Learning Using Methods Derived from Entropy Estimation |
Ming Ouyang | Ph.D. | 1999 | Vasek Chv√°tal | Implementations Of The DPLL Algorithm |
Ali Shokoufandeh | Ph.D. | 1999 | Endre Szemeredi | Graph Theoretical Methods In Object Recognition And Related Problems In Extremal Graph Theory |
Anup Kumar Talukdar | Ph.D. | 1999 | B. R. Badrinath | An Architecture For Integrated Services In Mobile Networks |
Girish Sharad Welling | Ph.D. | 1999 | B. R. Badrinath | Designing Adaptive Environment-Aware Applications For Mobile Computing |
Dongsuk Yuk | Ph.D. | 1999 | | Robust Speech Recognition Using Neural Networks & Hidden Markov Models |
Jyh-Shiarn Yur | Ph.D. | 1999 | Barbara Ryder | Incremental Analysis For Flow-And Context-Sensitive Data-Flow Problems |
Sarmad Abbasi | Ph.D. | 1998 | Endre Szemeredi | Spanning Subgraphs Of Dense Graphs and a Combinatorial Problem on Strings |
John L Bresina | Ph.D. | 1998 | Saul Amarel | Stochastic Heuristic Search and Evaluation Methods for Constrained Optimization |
Daniel Kudenko | Ph.D. | 1998 | Haym Hirsh | Feature Generation for Sequence Categorization |
Vincenzo Liberatore | Ph.D. | 1998 | Martin Farach-Colton | Efficient Replacement Strategies in the Memory Hierarchy |
Khaled Mohamed Rasheed | Ph.D. | 1998 | Haym Hirsh | GADO: A Genetic Algorithm for Continuous Design Optimization |
Aashu Virmani | Ph.D. | 1998 | Tomasz Imielinski | Second Generation Data Mining: Concepts and Implementation |
Xiang-Xiang Sean Zhang | Ph.D. | 1998 | Barbara Ryder | Practical Pointer Aliasing Analysis |
Csaba Csaba | Ph.D. | 1997 | Casimir Kulikowski | Problems in Learning and in Extremal Graph Theory |
Vipul Kashyap | Ph.D. | 1997 | Haym Hirsh | Information Brokering Over Heterogeneous Digital Data: A Metadata-Based Approach |
Junbiao Zhang | Ph.D. | 1997 | Naftaly Minsky | Optimal Buffering Algorithms for Client-Server VBR Video Retrieval |
Ajay Bakre | Ph.D. | 1996 | B. R. Badrinath | Design and Implementation of Indirect Protocols for Mobile Wireless Environments |
Mike Barley | Ph.D. | 1996 | Louis Steinberg | Model-Based Refinement of Search Biases |
Valerie Barr | Ph.D. | 1996 | Casimir Kulikowski | Applications of Rule-Base Coverage Measures to Expert System Evaluation |
Valerie Barr | Ph.D. | 1996 | Casimir Kulikowski | Aplications of Rule-Base Coverage Measures to Expert System Evaluation. |
Tim Cooley | Ph.D. | 1996 | Evangelia Micheli-Tzanakou | An Automated System for the Classification of Mammograms |
Jia Jiao | Ph.D. | 1996 | Apostolos Gerasoulis | Software Support for Parallel Processing of Irregular and Dynamic Computations |
John Keane | Ph.D. | 1996 | Tom Ellman | Knowledge-Based Management of Legacy Codes for Automated Design |
Deborah McGuinness | Ph.D. | 1996 | Alex Borgida | Explaining Reasoning in Description Logics |
Deborah McGuinness | Ph.D. | 1996 | Alex Borgida | Explaining Reasoning in Description Logics. |
Partha Pal | Ph.D. | 1996 | Naftaly Minsky | Darwin-E: An Environment for Imposing Regularities on Object-Oriented Software |
Hemant Pande | Ph.D. | 1996 | Barbara Ryder | Compile Time Analysis of C and C++ Systems |
Mark Schwabacher | Ph.D. | 1996 | Tom Ellman | The Use of Artificial Intelligence to Improve the Numerical Optimization of Complex Engineering Designs |
Leon Shklar | Ph.D. | 1996 | L. Thorne McCarty | Web Access to Heterogeneous Information: Methods and Applications |
Hui-Yu Wang | Ph.D. | 1996 | Vasek Chv√°tal | Which Claw-Free Graphs Are Strongly Perfect? |
Ke-Thia Yao | Ph.D. | 1996 | Andrew Gelsey | Intelligent Automated Grid Generation for Numerical Simulations |
Ke-Thia Yao | Ph.D. | 1996 | A Gelsey | Intelligent Automated Grid Generation for Numerical Simulations |
Shiyu Zhou | Ph.D. | 1996 | Michael Saks | Reducing Randomness in Computation via Explicit Constructions |
Arup Acharya | Ph.D. | 1995 | B. R. Badrinath | Structuring Distributed Algorithms and Services in Networks with Mobile Hosts |
Sui Ringo Ling | Ph.D. | 1995 | Louis Steinberg | Automated Modeling of Distributed and Lumped Phenomena in Heat Transfer |
Elefterios Melissaratos | Ph.D. | 1995 | Gerard Richter | Mesh Generation and Geometric Optimization |
Sunil Mohan | Ph.D. | 1995 | Tom Ellman | Two Approaches to the Hierarchical Solution of Constraint Satisfaction Problems |
Steven W Norton | Ph.D. | 1995 | Haym Hirsh | Exploiting Knowledge of Uncertainty: Induction of Classifiers by the Incremental Combination of Probabilistic Evidence |
Vidyadar Phalke | Ph.D. | 1995 | B. Gopinath | Modeling and Managing Program References in a Memory Hierarchy |
S Viswanathan | Ph.D. | 1995 | | Publishing in Wireless and Wireline Environments |
Kerstin Voigt | Ph.D. | 1995 | Chris Tong | Automating Software Design for Resource Assignment Problems |
Dawn Cohen | Ph.D. | 1994 | Casimir Kulikowski | Knowledge-Based Generation of Machine Learning Experiments |
Prem Devanbu | Ph.D. | 1994 | Alex Borgida | Software Information Systems. |
Premkumar Devanbu | Ph.D. | 1994 | Alex Borgida | Software Information Systems |
Vipul Gupta | Ph.D. | 1994 | Miles Murdocca | Mapping Techniques and Performance Analysis for an Interconnection Cached Multiprocessor Network |
John Storrs Hall | Ph.D. | 1994 | Saul Levy | Associative Processing: Architectures, Algorithms, and Applications |
Kyungsook Han | Ph.D. | 1994 | Andrew Gelsey | Compositional Modeling for Spatial Problems |
Suman Kanjilal | Ph.D. | 1994 | Miles Murdocca | Synthesis for Testability Using Test Functions |
Chun Wai Liew | Ph.D. | 1994 | Louis Steinberg | Feedback Directed Optimization |
Gabor N Sarkozy | Ph.D. | 1994 | Endre Szemeredi | Finding Trees & Cycles In Graphs: Existence Theorems and Fast Parallel Algorithms |
Ileana Streinu | Ph.D. | 1994 | William Steiger | Some Positive and Negative Results in Computational Geometry |
Ileana Streinu | Ph.D. | 1994 | William Steiger | Some Positive and Negative Results in Computational Geometry. |
Sizheng Wei | Ph.D. | 1994 | Saul Levy | Efficient Hierarchical Interconnection Networks for Large Parallel Systems |
Diane Zimmerman | Ph.D. | 1994 | Casimir Kulikowski | An Extended CSP Architecture for the Sequential Assignment Problem in the Interpretation of Protein Nuclear Magnetic Resonance D |
Iliana Bjorling-Sachs | Ph.D. | 1993 | Diane L. Souvaine | Variations of the Art Gallery Theorem |
Vivek Gore | Ph.D. | 1993 | Eric Allender | Lower Bounds for Uniform Constant Depth Circuits |
Celina Imielinska | Ph.D. | 1993 | Bahman Kalantari | A General Class of Heuristics for Constrained Forest and Cycle Problems |
David Lubinsky | Ph.D. | 1993 | Sholom Weiss | Bivariate Splits and Consistent Split Criteria in Dichotomous Classification Trees |
Stacy Marsella | Ph.D. | 1993 | Charles F. Schmidt | Planning Under the Restriction of Hierarchical Partial Orders |
Stephen P Masticola | Ph.D. | 1993 | Barbara Ryder | Static Detection of Deadlocks in Polynomial Time |
Lorien Y Pratt | Ph.D. | 1993 | Jack Mostow | Transferring Previously Learned Back-Propagation Neural Networks to New Learning Tasks |
Hava Siegelman | Ph.D. | 1993 | Eduardo Sontag | Foundations of Recurrent Neural Networks |
Seshadri Venugopal | Ph.D. | 1993 | Gerard Richter | Parallelizing Unstructured Sparse Computations on Large-Scale Multiprocessors |
Tao Yang | Ph.D. | 1993 | Apostolos Gerasoulis | Scheduling and Code Generation for Parallel Architectures. |
Tao Yang | Ph.D. | 1993 | Apostolos Gerasoulis | Scheduling and Code Generation for Parallel Architectures |
Arthur M Berman | Ph.D. | 1992 | Marvin Paull | Lower and Upper Bounds for Incremental Algorithms |
Neeraj Bhatnagar | Ph.D. | 1992 | Jack Mostow | On-Line Learning from Search Failures |
Anthony Bonner | Ph.D. | 1992 | Tomasz Imielinski | Hypothetical Reasoning in Deductive Databases |
Wesley Braudaway | Ph.D. | 1992 | Chris Tong | Knowledge Compilation for Incorporating Constraints |
Leiguang Gong | Ph.D. | 1992 | Casimir Kulikowski | Composition of Image Analysis Processes through Object-Centered Hierarchical Planning |
William Landi | Ph.D. | 1992 | Barbara Ryder | Interprocedural Aliasing in the Presence of Pointers |
Yong-Fong Lee | Ph.D. | 1992 | Barbara Ryder | Performing Data Flow Analysis in Parallel |
Chi-yuan Lo | Ph.D. | 1992 | William Steiger | Ham-Sandwich Cuts and Related Problems |
Ronald van der Meyden | Ph.D. | 1992 | L. Thorne McCarty | The Complexity of Querying Indefinite Information: Defined Relations, Recursion and Linear Order |
Marian Gunsher Sackrowitz | Ph.D. | 1992 | Joan Lucas | Efficient Parallel Algorithms for Directed Graph Problems |
Kumar Vadaparty | Ph.D. | 1992 | Tomasz Imielinski | Querying Databases with Non-Deterministic Information |
Shiva P Chaudhuri | Ph.D. | 1991 | Ravi Boppana | Lower bounds in parallel computation |
Marie-Therese Daulard | Ph.D. | 1991 | Marvin Paull | Incremental Routing Algorithms in Multistage Multiprocessor Networks |
Magnus Halldorsson | Ph.D. | 1991 | Ravi Boppana | Frugal Methods for the Independent Set and Graph Coloring Problems |
Nitin Indurkhya | Ph.D. | 1991 | Sholom Weiss | Monte-Carlo Simulation-Based Evaluation and Refinement of Rule-Based Systems |
Jaikumar Radakrishnan | Ph.D. | 1991 | Endre Szemeredi | Graph Entropy and formula complexity. |
Jaikumar Radhakrishnan | Ph.D. | 1991 | Endre Szemeredi | Graph Entropy and Formula Complexity |
Patricia Riddle | Ph.D. | 1991 | Saul Amarel | Automatic Shifts of Problem Representation |
Kathy Hamilton Abbott | Ph.D. | 1990 | Louis Steinberg | Robust Fault Diagnosis of Physical Systems in Operation |
Srimat Chakradhar | Ph.D. | 1990 | Apostolos Gerasoulis | Neural Network Models and Optimization Methods for Digital Testing |
Jan Chomicki | Ph.D. | 1990 | Tomasz Imielinski | Functional Deductive Databases: Query Processing in the Presence of Limited Function Symbol |
William Cohen | Ph.D. | 1990 | Alex Borgida | Concept Learning Using Explanation Based Generalization as an Abstraction Mechanism |
William W Cohen | Ph.D. | 1990 | Alex Borgida | Concept Learning Using Explanation Based Generalization as an Abstraction Mechanism |
Ioannis Kapouleas | Ph.D. | 1990 | Sholom Weiss | Model Based Interpretation of Magnetic Resonance Human Brain Scans |
Sridhar Mahadevan | Ph.D. | 1990 | Tom Mitchell | An Apprentice-Based Approach to Learning Problem-Solving Knowledge. |
Sridhar Mahadevan | Ph.D. | 1990 | Tom Mitchell | An Apprentice-Based Approach to Learning Problem-Solving Knowledge |
Armand Prieditis | Ph.D. | 1990 | Jack Mostow | Discovering Effective Admissible Heuristics by Abstraction and Speedup: A Transformational Approach |
Cullen Schaffer | Ph.D. | 1990 | Casimir Kulikowski | Domain-Independent Scientific Function Finding |
Michael Sims | Ph.D. | 1990 | Saul Amarel | IL:An AI Approach to Theory Formation in Mathematics |
Liping Sun | Ph.D. | 1990 | Vasek Chv√°tal | Two New Classes of Perfect Graphs |
Prasad Tadepalli | Ph.D. | 1990 | Tom Mitchell | Tractable Learning and Planning in Games. |
Prasad Tadepalli | Ph.D. | 1990 | Tom Mitchell | Tractable Learning and Planning in Games |
Rajesh Dube | Ph.D. | 1989 | Sholom Weiss | A State Transition Model for Rule-Based Expert Systems |
Friedrich Henglein | Ph.D. | 1989 | Robert Paige | Polymorphic Type Inference and Semi-Unification |
Thomas J Marlowe | Ph.D. | 1989 | Barbara Ryder | Data Flow Analysis and Incremental Iteration |
Miles J Murdocca | Ph.D. | 1989 | Saul Levy | Theory and Applications of Free-Space Digital Optical Computing |
Israel Nelken | Ph.D. | 1989 | Apostolos Gerasoulis | Parallelization for MIMD Multiprocessors with Applications to Linear Algebra Algorithms |
Martin D Carroll | Ph.D. | 1988 | Barbara Ryder | Data Flow Update via Dominator and Attribute Updates |
Arding Hsu | Ph.D. | 1988 | Tomasz Imielinski | Integrity Checking and View Maintenance for Multiple Updates |
Smadar Tova Kedar-Cabelli | Ph.D. | 1988 | Tom Mitchell | Formulating Concepts and Analogies According to Purpose |
Jiazhen Cai | Ph.D. | 1987 | Robert Paige | Fixed Point Computation and Transformational Programming |
Richard Michael Keller | Ph.D. | 1987 | Tom Mitchell | The Role of Explicit Contextual Knowledge in Learning Concepts to Improve Performance |
Donna Jo Nagel | Ph.D. | 1987 | N. S. Sridharan | Learning Concepts with a Prototype-Based Model for Concept Representation |
Jeffrey S Salowe | Ph.D. | 1987 | William Steiger | Selection Problems in Computational Geometry |
Von-Wun Soo | Ph.D. | 1987 | Casimir Kulikowski | A Qualitative Matching Scheme for Postulating Enzyme Kinetic Models and Experimental Conditions: Reasoning with Constraints |
Allen Ginsberg | Ph.D. | 1986 | Sholom Weiss | Refinement of Expert System Knowledge Bases: A Metalinguistic Framework for Heuristic Analysis |
Bernard Nadel | Ph.D. | 1986 | William Steiger | The Consistent Labeling Problem and Its Algorithms: Towards Exact-Case Complexities and Theory-Based Heuristics |
Van E Kelly | Ph.D. | 1985 | Louis Steinberg | The CRITTER System: An Artificial Intelligence Approach to Digital Circuit Design Critiquing |
Richard M King | Ph.D. | 1985 | William Steiger | Knowledge-Based Transformational Synthesis of Efficient Structures for Concurrent Computation |
Richard Poulo | Ph.D. | 1985 | Casimir Kulikowski | Three Dimensional Recognition from Depth Images by Detailed Surface Encoding |
Chidanand V Apté | Ph.D. | 1984 | Sholom Weiss | On Encoding Functional and Schematic Descriptions of Complex Systems |
Heiner Biesel | Ph.D. | 1984 | | On Encoding Functional and Schematic Descriptions of Complex Systems |
Frank Michael Hawrusik | Ph.D. | 1984 | Ann Yasuhara | An Extension of the Pebble Game for LISP-Like Programs |
Paul Utgoff | Ph.D. | 1984 | Tom Mitchell, Saul Amarel | Shift of Bias for Inductive Concept Learning |
Paul Utgoff | Ph.D. | 1984 | Tom Mitchell | Shift of Bias for Inductive Concept Learning |
Susan Lynn Epstein | Ph.D. | 1983 | N. S. Sridharan | Knowledge Representation in Mathematics: A Case Study in Graph Theory |
John Kastner | Ph.D. | 1983 | Sholom Weiss | Strategies for Expert Consultation in Therapy Planning |
Peter Politakis | Ph.D. | 1983 | Sholom Weiss | Using Empirical Analysis to Refine Expert System Knowledge Bases |
Ravi Sandhu | Ph.D. | 1983 | Naftaly Minsky | Design and Analysis of Protection Schemes Based on the Send-Receive Transport Mechanism |
Ravinderpal Sandhu | Ph.D. | 1983 | Naftaly Minsky | Design and Analysis of Protection Schemes Based on the Send-Receive Transport Mechanism |
John B Bowles | Ph.D. | 1982 | Manfred Ruschitzka | Queueing Systems and Networks with Symmetric Station Balance Solutions |
Robert N Goldberg | Ph.D. | 1982 | Robert L. Smith | Software Design Issues in the Architecture and Implementation of Distributed Text Editors |
Barbara Ryder | Ph.D. | 1982 | Marvin Paull | Incremental Data Flow Analysis Based on a Unified Model of Elimination Algorithms |
Barbara Gershon Ryder | Ph.D. | 1982 | Marvin Paull | Incremental Data Flow Analysis Based on a Unified Model of Elimination Algorithms |
Donald E Smith | Ph.D. | 1982 | Robert L. Smith | FOCUSER: A Strategic Interaction Paradigm for language Acquisition |
Asser N Tantawi | Ph.D. | 1982 | Manfred Ruschitzka | Performance Analysis of Rollback Recovery Systems and Breakdown Queueing Networks |
Yi-Ling Fan Chiang | Ph.D. | 1981 | Michael Mock | Numerical Experiments for Solving Symmetric Hyperbolic systems with Discontinuous Initial Data |
John Franco | Ph.D. | 1981 | Marvin Paull | Sensitivity to Instance Distribution of the Average Complexity of Algorithms for Solving Satisfiability and other NP-Hard Proble |
John Franco | Ph.D. | 1981 | Marvin Paull | Sensitivity to Instance Distribution of the Average Complexity of Algorithms for Solving Satisfiability and other NP-Hard Probl |
Venkataraman Natarajan | Ph.D. | 1981 | Ann Yasuhara | Decidability of the Purely Existential Fragment of the Theory of Term-Algebras |
Bobbie Ann Fredsall Othmer | Ph.D. | 1981 | Robert L. Smith | Restructuring COBOL Programs to Improve Readability |
Victor Ciesielski | Ph.D. | 1980 | Robert L. Smith | A Methodology for the Construction of Natural Language Front Ends for Medical Consultation Systems |
David Sandford | Ph.D. | 1979 | Chitoor Srinivasan | HL-Resolution: A Semantic Refinement of Resolution and a Theory of Model Specification |
Lawrence A Welsch | Ph.D. | 1979 | Ann Yasuhara | ASQ: Automatic Synthesis of Questions |
Paul E Murphy | Ph.D. | 1978 | Marvin Paull | Minimum Comparison Merging and Merging Algorithms |
Michael Trigoboff | Ph.D. | 1978 | Casimir Kulikowski | IRIS: A Framework for the Construction of Clinical Consultation Systems |
Elaine Weyuker | Ph.D. | 1977 | Ann Yasuhara | Program Schemas with Semantic Restrictions |
Christian J Wild | Ph.D. | 1977 | Richard LeFaivre | The Early Stages of Machine Perception: An Application to Reading Machines |
Sholom Weiss | Ph.D. | 1974 | Casimir Kulikowski | A System for Model-Based Computer-Aided diagnosis and Therapy |
Philip A Johnson | Ph.D. | 1973 | Fred G. Fender | A Class of Real-Time Virtual Memory Systems: A Multi-Faceted Approach to Computer System Design |