PHD DISSERTATIONS
2007
Sunghyuck Hong
"Secure and Efficient Group Key Agreement Protocols"
Noe Lopez-Benitez
Yaoqin Jing
"Extracting Structured Data from Web pages with Maximum Entropy Segmental Markov Models"
Susan Mengel
Zhijun Lin
"Efficient Sat-Based Answer Set Solver"
Yuanlin Zhang
Veena Shank Mellarkod
"Integrating Asp and Clp Systems: Computing Answer Sets from Partially Ground Programs"
Michael Gelfond
Dwayne Earl Towell
"Easel: An Indefinite Computing Language"
J. Nelson Rushton
Gregory Wagner
"Face Authentication with Pose Adjustment using Support Vector Machines with a Hausdorff-Based Image Kernel"
Eric Sinzinger
2006
Eric Javier Acosta
"Stable Haptic Virtual Reality Application Development Platform"
Bharti H Temkin
Maximilian Berger
"Silenus - A Federated Service-Oriented Approach to Distributed File Systems"
Mike Sobolewski
MIchael Timothy Helm
"A Methodology to Improve System Level Performance Among Hedonistic Multi-Agents"
Daniel E Cooke
Robert Gene Watson
"Methods for Efficient Translation of Programs from SequenceL to C++"
Nelson Rushton
2005
Marcello Balduccini
"Answer Set Based Design of Highly Autonomous, Rational Agents"
Michael Gelfond
Changming Ma
"Issues of Language Translation Arising from the Normalize, Transpose and Distribute Semantics of SequenceL"
Daniel E Cooke
Erhan Onal
"An Automatic Translation System for Real-World Images"
Noe Lopez-Benitez
Curtis Ray Welborn
"Specifying a Domain Specific Language for Cooperative Robotics"
Daniel E Cooke
Chengcheng Li
"Character Localization and Extraction from Complex Backgrounds Using Markovian Models"
Larry D Pyeatt & Hector J. Hernandez
2004
Elizabeth Powell Morris
"A Machine Learning Approach to Automate Classification of Literature in a SAM Research Database"
Susan Mengel
2002
Per Hojen Andersen
"A Parallel Compiler for SequenceL"
Daniel Cooke
Cherry Keahey Owen
"Evaluating the Infrastructure of Software Applications"
Donald Bagert
2001
Ahmed Tarek
"Optimization Algorithms Applied to Large Petri Nets"
Noe Lopez-Benitez
2000
Jack Michael West
"Processor Allocation, Message Scheduling, and Algorithm Selection for Parallel Space-Time Adaptive Processing"
John Antonio
1998
Maria Pilar Gomez-Gil
"Effect of Non-Linear Dynamic Invariants in Recurrent Neural Networks for Prediction of Electrocardiograms"
William J B Oldham
Johnathan Ronald Burgin
"Haptic Rendering of Volumetric Soft-Bodied Objects"
Bharti Temkin
Daniel Ion Pantura
"Bayesian Motion Estimation Using Video Frame Differences"
Hua Li and William Marcy
1997
Ben Anthony Calloni
"Language Specific Versus Generic Iconic Programming Systems and Grammars"
Donald Bagert
1996
Moshe Gotesman
"Modeling and Analysis of Hybrid Dynamic Systems"
Noe Lopez-Benitez
1995
Thomas Allen Harper
"File Migration in Large Distributed Computing Systems"
William J B Oldham
Edward Monroe Corwin
"Chaos and Learning in Recurrent Neural Networks"
William J B Oldham