BCRECENT THESES
RECENT SCS PH.D. THESES 1995

1995 THESES: All published as Technical Reports

JOHN CHENG
   CMU-CS-95-112
   Management of Speedup Mechanisms in Learning Architectures
   Ph.D. Thesis
   January 1995
   Keywords: Artificial intelligence, machine learning, learning
             architectures, speedup learning, multi-strategy learning, Theo
   FTP: CMU-CS-95-112.ps

ROBERT B. DOORENBOS
   CMU-CS-95-113
   Production Matching for Large Learning Systems
   Ph.D. Thesis
   January 1995
   Keywords: Artificial intelligence, large-scale production systems,
             machine learning, production match, Soar
   FTP: CMU-CS-95-113.ps

ANJA FELDMANN
   CMU-CS-95-201
   On-line Call Admission for High-Speed Networks
   Ph.D. Thesis
   October 199
   Keywords: Call admission, high-speed networks, ATM, on-line algorithms,
             competitive analysis, traffic study, network simulation,
             routing
   FTP: Unavailable

SHAI GEVA
   CMU-CS-95-163
   A Study of Higher-order Sequential Computation
   Ph.D. Thesis
   August 1995
   Keywords: Theory, sequentiality, semantics, full abstraction,
             applicative (functional) programming, PCF
   FTP: Unavailable

JEFFREY C. JACKSON
   CMU-CS-95-183
   The Harmonic Sieve: A Novel Application of Fourier Anaylsis to
   Machine Learning Theory and Practice
   Ph.D. Thesis
   August 1995
   Keywords: Theoretical computer science, artificial intelligence,
	     computational learning theory, machine learning, algorithms
             fourier analysis, perceptrons, classification learning,
             rule extraction, boolean circuits, disjunction normal form
             (DNF), threshold of parities (TOP), hypothesis boosting,
             harmonic sieve 
   FTP: CMU-CS-95-183.ps

FREDERICK C. KNABE
   CMU-CS-95-223
   Language Support for Mobile Agents
   Ph.D. Thesis
   December 1995
   Keywords: Mobile agents, functional languages, distributed
             programming, remote resource access, distributed typing,
	     software mobility, lazy compilation, heterogeneous code,
	     Facile, ML, Internet applications
   FTP: CMU-CS-95-223.ps.Z

FRANCESMARY MODUGNO
   CMU-CS-95-130
   Extending End-User Programming in a Visual Shell with
   Programming by Demonstration and Graphical Language
   Techniques
   Ph.D. Thesis
   March 1995
   Keywords: End-user programming, programming by demonstration,
            visual language, visual shell, user interface, pursuit
   [Also appears as CMU-HCII-95-100]
   FTP: Unavailable

FRANCESMARY MODUGNO
   CMU-CS-95-130A 
   Extending End-User Programming in a Visual Shell with
   Programming  by Demonstration and Graphical Language 
   Techniques
   Ph.D. Thesis (User Study Materials)
   March 1995
   [Also appears as CMU-HCII-95-100]
   FTP: Unavailable

GREG MORRISETT
   CMU-CS-95-226.ps
   Compiling with Types
   Ph.D. Thesis
   December 1995
   Keywords:  Compiling types, Standard ML, unboxing, garbage
              collection, closure conversion
   FTP: CMU-CS-95-226.ps

JOHN MOUNT
   CMU-CS-95-152
   Application of Convex Sampling to Optimization and Contingency
   Table Generation/Counting
   Ph.D. Thesis
   May 1995
   Keywords: Probabilistic computation, Markov chains, constrained
             optimization, counting problems, statistical computing
   FTP: CMU-CS-95-152.ps

MARIA ALICIA PEREZ
   CMU-CS-95-175
   Learning Search Control Knowledge to Improve Plan Quality
   Ph.D. Thesis
   July 1995
   Keywords: Artificial intelligence, planning, problem solving, machine
             learning, Prodigy, plan quality, evaluation of plans,
             planning performance, search control knowledge

CONRAD J. POELMAN
   CMU-CS-95-173
   The Paraperspective and Projective Factorization Methods for
   Recovering Shape and Motion
   PH.D. Thesis  
   July 1995
   Keywords: Computer vision, motion, shape, time-varying imagery,
             iterative minimization

BRUCE S. SIEGELL
   CMU-CS-95-168
   Automatic Generation of Parallel Programs with Dynamic Load
   Balancing for a Network of Workstations
   Ph.D. Thesis (Electrical and Computer Engineering)
   May 1995
   Keywords: Dynamic load balancing, parallelizing, compilers, network
             of workstations, self-scheduling, grain size, Nectar
   FTP: Unavailable

ROBERT D. STOCK
   CMU-CS-95-182
   Fourier Formulation of Illumination Optics and Computer Automated
   Reflector Design
   Ph.D. Thesis (Physics)
   Keywords: Ray tracing, near zone, luminaire characterization, lighting
             invariants, extended light sources, analytical representation,
	     reflector modelling, computer-aided design
   FTP: CMU-CS-95-182.ps, CMU-CS-95-182A.ps (CS title page)

JOSEPH TEBELSKIS
   CMU-CS-95-142
   Speech Recognition Using Neural Networks
   Ph.D. Thesis
   May 1995
   Keywords: Speech recognition, neural networks, hidden Markov models,
             hybrid systems, acoustic modeling, prediction, classification,
             probability estimation, discrimination, global optimization
   FTP: CMU-CS-95-142.ps, CMU-CS-95-142A.ps, CMU-CS-95-142B.ps
Technical Report Directories
Alumni Home Page