PhD Theses
2008
- Acevedo Feliz, Daniel
- A Framework for the Perceptual Optimization of Multivalued Multilayered 2D Scientific Visualization Methods
- Borradaile, Glencora
- Exploiting Planarity for Network Flow and Connectivity Problems
- Cai, Lijuan
- Multilabel Classification over Category Taxonomies
- Chase, Melissa
- Efficient Non-Interactive Zero-Knowledge Proofs for Privacy Applications
- Cooper, Gregory H.
- Integrating Dataflow Evaluation with a Practical Higher-Order Call-by-Value Language
- Eddon, Guy
- Language Support and Compiler Optimizations for Object-Based Software Transactional Memory
- Marks, Casey
- No-Regret Learning and Game-Theoretic Equilibria
- Penso, Lucia Draque
- Distributed Protocols Robust Against Malicious Attacks
- Sigal, Leonid
- Continuous-state Graphical Models for Object Localization, Pose Estimation and Tracking
- Tenneson, Dana
- Interpretation of Molecule Conformations from Drawn Diagrams
- Yao, Danfeng
- Privacy-Aware Authentication and Authorization in Trust Management
2007
- Andrews, Stuart
- Learning from ambiguous examples
- Aron, Ionut
- A unifying framework for modeling and solving optimization problems
- Karpenko, Olga
- Algorithms and Interfaces for Sketch-Based 3D Modeling
- Keefe, Daniel
- Interactive 3D Drawing for Free-Form Modeling in Scientific Visualization and Art: Tools, Methodologies, and Theoretical Foundations
- Marai, Georgeta-Elisabeta
- Data-Driven Predictive Modeling of Diarthrodial Joints
- Moscovich, Tomer
- Principles and Applications of Multi-touch Interaction
- Roth, Stefan
- High-Order Markov Random Fields for Low-Level Vision
- Tatbul, Emine Nesime
- Load Shedding Techniques for Data Stream Management Systems
- Triandopoulos, Nikolaos
- Efficient Data Authentication
- Vergados, Ioannis
- Simulated Annealing Based Local Search for Sport Scheduling Problems
- Wood, Frank
- Nonparametric Bayesian Models for Neural Data
- Zhang, Song
- Revealing White Matter Fiber Structure with Diffusion Imaging
2006
- Anagnostopoulos, Aristidis
- Probabilistic Techniques in the Analysis of Dynamic Processes
- Genzel, Dmitriy
- Creating Algorithms for Parsers and Taggers for Resource-Poor Languages Using a Related Resource-Rich Language
- Leach, Sonia
- Informed Structural Priors for Bayesian Networks: Applications in Molecular Biology Using Heterogeneous Data Sources
- McGuire, Morgan
- Computational Videography with a Single Axis, Multi-Parameter Lens Camera
- Sun, Ye
- The Ballistic Protocol: Location-aware Distributed Cache Coherence in Metric-Space Networks
- Xing, Ying
- Load Management Techniques for Distributed Stream Processing
2005
- Altun, Yasemin
- Discriminative Methods for Label Sequence Learning
- Bent, Russell
- Online Stochastic Optimization under Time Constraints
- Gondek, David
- Non-Redundant Clustering
- Hall, Keith
- Best-first Word-lattice Parsing: Techniques for integrated syntactic language modeling
- LaViola, Joseph
- Mathematical Sketching: A New Approach to Creating and Exploring Dynamic Illustrations
- Renieris, Emmanuel
- A Research Framework for Software-Fault Localization Tools
- Young, Joel
- Exploiting the Structure of the Web for Spidering
2004
- Blaheta, Don
- Function Tagging
2003
- Tirthapura, Srikanta
- Distributed Queuing and Applications
2002
- Benjamin, Michael
- Interval Programming: A Multi-Objective Optimization Model for Autonomous Vehicle Control
- Bridgeman, Stina
- Techniques and Tools for Graph Drawing
- Dollins, Steven
- Modeling for the plausible emulation of large worlds
- Ortiz, Luis
- Selecting Approximately-optimal Actions
- Pandurangan, Gopal
- Stochastic Analyses of Dynamic Computer Processes
- Peshkin, Leonid
- Reinforcement Learning by Policy Search
- Smart, William
- Making Reinforcement Learning Work on Real Robots
2001
2000
- Castanos, Jose
- Parallel Adaptive Unstructured Computation
1999
- Cherniack, Mitch
- Building Query Optimizers with Combinators
- Shatkay, Hagit
- Learning Models for Robot Navigation
1998
- Acharya, Swarup
- Broadcast Disks: Dissemination-based Data Management for Asymmetric Communication Environments
1997
- Hoang, Dzung Tien
- Fast and Efficient Algorithms for Text and Video Compression
- Lin, Shieu-Hong
- Exploiting Structure for Planning and Control
- Lu, Hsueh-I
- Efficient Approximation Algorithms for Some Semidefinite Programs
1996
- Chiang, Yi-Jen
- Dynamic and I/O-Efficient Algorithms for Computational Geometry and Graph Problems: Theoretical and Experimental Results
- Garg, Ashim
- Where to Draw the Line
- Lin, Yi-Jing
- Configuration Management in Terms of Logical Structures
- Littman, Michael Lederman
- Algorithms for Sequential Decision Making
1995
- Camus, Theodore Armand
- Real-Time Optical flow
- Hubbard, Philip M.
- Collision Detection for Interactive Graphics Applications
- Kirman, Jak
- Predicting Real-time Planner Performance by Domain Characterization
- Krishnan, P
- Online Prediction Algorithms for Databases and Operating Systems
- Langworthy, David E.
- On the use of Asynchrony in achieving Extensibility and High Performance in an object Storage System
- Sanders, Kathryn E.
- CHIRON: Planning in an Open-Textured Domain
- Subramanian, Sairam
- Parallel and Dynamic Shortest-Path Algorithms for Sparse Graphs
1994
- Hillebrand, Gerd G.
- Finite Model Theory in the Simply Typed Lambda Calculus
- Ravi, Ramamurthy
- Steiner Trees and Beyond: Approximation Algorithms for Network Design
1993
- Meyers, Scott Douglas
- Representing Software Systems in Multiple-View Development Environments
- Mitchell, Gail Anne
- Extensible Query Processing in an Object-Oriented Database
- Nodine, Mark Howard
- Minimizing the Input/Output Bottleneck
1992
- Agrawal, Ajit Kumar
- Network Design and Network Cut Dualities: Approximation Algorithms and Applications
- Cohen, Robert
- Combine and Conquer
- Kanazawa, Keiji
- Reasoning about Time and Probability
- Santos Jr., Eugene
- A Linear Constraint Satisfaction Approach for Abductive Reasoning
- Shimony, Solomon
- A Probabilistic Framework for Explanation
- Shvartsman, Alexander Allister
- Fault-Tolerant and Efficient Parallel Computation
1991
- Boddy, Mark Steven
- Solving Time-Dependent Problems: A Decision-Theoretic Approach to Planning in Dynamic Environments
- Goldman, Robert
- A Probabilistic Approach to Language Understanding
- Golin, Eric J.
- A Method for the Specification and Parsing of Visual Languages
- Harkness, Cheryl Lynn
- An Approach to Uncertainty in VLSI Design
- Hughey, Richard Paul
- Programmable Systolic Arrays
- Stein, Lynn Andrea
- Resolving Ambiguity in Nonmonotonic Reasoning
- Wloka, Markus
- Parallel VLSI Synthesis
1990
- Calistri, Randall J.
- Classifying and Detecting Plan-Based Misconceptions for Robust Plans
- Harper, Mary Patricia
- The Representation of Noun Phrases in Logical Form
- Yen, Felix
- CI2 -- A Logic for Plural Representation
1981
1978
- Swamy, Sowmitri
- On Space-Time Tradeoffs
1975
- Lamagna, Edmund
- The Complexity of Monotone Functions
| Page Owner: Webmaster | Last Modified: Wed May 28 11:39:13 2008 |