|
Leszek Lechowicz
|
Ontology-based Reconfigurability of Cognitive Radio
|
Ph.D.
|
2013
|
|
Shujun (Rachel) Li
|
Collaborative Adaptation of Cognitive Radio Parameters Using Ontology and Policy Based Approach
|
Ph.D.
|
2011
|
|
Jakub Moskal
|
Integrating a Reasoner with Heterogeneous Self-Controlling Software
|
Ph.D.
|
2011
|
|
Nilgun Fescioglu Unver
|
Self-Controlling Tabu Search
|
Ph.D.
|
2007
|
|
Mei Li
|
Symbolic Reasoning About Dynamic Systems in
Conflict Alert Situations
|
Ph.D.
|
2007
|
|
Stephen Frechette
|
Moving Cloak: A Proactive Approach for the Defense Against Distributed Denial-of-Service Attacks
|
Ph.D.
|
2007
|
|
Yong Xun
|
A Control Based Approach to ESM Sensor Management
|
Ph.D.
|
2006
|
|
Yonet Eracar
|
Negotiating Solutions to Multiobjective Combinatorial Optimization Problems
|
Ph.D.
|
2005
|
|
Jeff E. Smith
|
UML Formalization and Transformation
|
Ph.D.
|
2000
|
|
Zbigniew Korona
|
Model-Theory Based Feature Selection for Multisensor Recognition
|
Ph.D.
|
1996
|
|
Gokhan Halit Soydan
|
An OWL Ontology for Representing the CMMI-SW Model
|
M.S.
|
2006
|
|
Marek Malczewski
|
Relations Among Wavelet Coefficients as Features for ATR
|
M.S.
|
2001
|
|
Gulsah Cakiroglou
|
Formalization of Fuzzy Logic in Slang and Its Use in Reasoning About the Uncertainty of Decisions
|
M.S.
|
2001
|
|
Ender Malkoc
|
Constructing a Foundation for Checking the Consistency of Object Model Derivation Through the Use of Formal Methods
|
M.S.
|
2001
|
|
Stephen P. Linder
|
Q2 Symbolic Reasoning about Noisy Dynamic Systems
|
M.S.
|
1995
|
|
Sule O. Ibrameem
|
A Method for Capturing Qualitative Network Performance and Behavior
|
M.S.
|
1995
|
|
Deborah A.G. Ercolini
|
An Architecture for a Desktop Agent Manager
|
M.S.
|
1994
|
|
Spiridon A. Reveliotis
|
A Framework for On-Line Learning of Plant Models and Control Policies for Restructurable Control
|
M.S.
|
1992
|