
Dissertations (CIS)
Theses and Dissertations from 2008
Conditional models for compositional design of real-time embedded systems, Madhukar Anand
Symbolic analysis of stochastic discrete event systems, Mikhail Bernadsky
Applying convex optimization techniques to energy minimization problems in computer vision, Arvind Bhusnurmath
Domain adaptation of natural language processing systems, John Blitzer
A foundation for tunnel-complex protocols, Alwyn E Goodloe
Privacy APIs: Formal models for analyzing legal privacy requirements, Michael J May
Theses and Dissertations from 2007
Pattern discovery in biological data sets, Stanislav Plamenov Angelov
Memory model sensitive analysis of concurrent data types, Sebastian Burckhardt
Logics and algorithms for software model checking, Swarat Chaudhuri
Algorithms for linear and nonlinear approximation of large data, Boulos Harb
Human behavior modeling within an integrative framework, Michael Johns
Robust correspondence -free algorithms for 3D motion recovery, Ameesh Makadia
Processing data streams, Andrew McGregor
Generating narrative variation in interactive fiction, Nick Montfort
Synthesis and compositional verification using language learning, Wonhong Nam
Reno: A rename-based instruction optimizer, Vlad Petric
Monitoring and checking of real-time and probabilistic properties, Usa Sammapun
Large margin training of acoustic models for speech recognition, Fei Sha
The effects of network topology on strategic behavior, Siddharth Suri
Magnetic resonance studies of architecture and composition of bone, Aranee Techawiboonwong
Dynamic security policies, Stephen Chun-to Tse
Metric learning with convex optimization, Kilian Quirin Weinberger
Robust semantic role labeling using parsing variations and semantic classes, Szu-ting Yi
Efficient scientific data management over trees, Yifeng Zheng
Theses and Dissertations from 2006
Towards high-performance word sense disambiguation by combining rich linguistic knowledge and machine learning approaches, Jinying Chen
Storing, querying and updating XML, Koon Kau Byron Choi
Pronominal anaphora resolution in Chinese, Susan P Converse
Dynamic instruction stream editing, Marc Corliss
Machine translation using probabilistic synchronous dependency insertion grammars, Yuan Ding
Statically typed XML processing in an object -oriented language, Vladimir Gapeyev
Multiple influences on gaze and attention behavior for embodied agents, Erdan Gu
Generating American Sign Language classifier predicates for English-to-ASL machine translation, Matt Huenerfauth
PAGO: Pelvic analysis and gait output, Seung-Joo Lee
Discriminative learning and spanning tree algorithms for dependency parsing, Ryan McDonald
Statistical LTAG parsing, Libin Shen
Compositional framework for real -time embedded systems, Insik Shin
Mesh generation from imaging data, Marcelo Siqueira
Streamwise feature selection, Jing Zhou
Theses and Dissertations from 2005
Exchange mechanisms and cooperative distributed system design, Kostas G Anagnostakis
Efficient XPath query processing on stored and streaming XML data, Yi Chen
Making the trains run on time, Alexander T Garthwaite
Computational modeling and simulation of heart ventricular mechanics from tagged MRI, Zhenhua Hu
Security policy consistency and distributed evaluation in heterogeneous environments, Sotiris Ioannidis
Run, XTATIC, run: Efficient implementation of an object -oriented language with regular pattern matching, Michael Y Levin
Modeling and analyzing integrated policies, Michael McDougall
Modeling, simulation and analysis of the heart from four-dimensional cardiac tagged-MR images, Kyoungju Park
Integrating gene expression signals with bounded collection grammars, Jonathan Schug
VerbNet: A broad-coverage, comprehensive verb lexicon, Karin Kipper Schuler
Theses and Dissertations from 2004
On the parameter space of generative lexicalized statistical parsing models, Daniel M Bikel
Evaluating grammar formalisms for applications to natural language processing and biological sequence analysis, David Chiang
Investigations into the role of lexical semantics in word sense disambiguation, Hoa Trang Dang
Reasoning about functional and key dependencies in hierarchically structured data, Carmem Satie Hara
Algorithms for distributed and mobile sensing, Ibrahim Volkan Isler
Product information dissemination in the Internet and markets for product information, Panagiotis M Markopoulos
Automated volumetric model construction and dynamic segmentation of the heart ventricles in tagged MRI, Albert Montillo
Statistical learning from relational databases, Alexandrin Popescul
Loss -sensitive decision rules for intrusion detection and response, Jia Wang
Theses and Dissertations from 2003
Adaptive construction of manifold meshes, Koji Ashida
Network event recognition, Karthikeyan Bhargavan
TRACE: Tactor reach access and constraint environment, Aaron Samuel Bloomfield
Statistical models for the analysis of heterogeneous biological data sets, Eugen Christian Buehler
Cone -beam helical CT virtual endoscopy: Reconstruction, segmentation and automatic navigation, Bruno Motta de Carvalho
A study of the relationships among cryptographic primitives, Yael Gertner
Modeling and analysis of hybrid systems, Franjo Ivancic
Occlusion detection in multi-baseline stereo, Sang-Hack Jung
Omnidirectional three-dimensional stereo computer vision sensor using reflective cone mirror, Shih-Schon Lin
Interactive reach planning for animated characters using hardware acceleration, Ying Liu
LR parsing for tree adjoining grammars and its application to corpus-based natural language parsing, Carlos Augusto Prolo
American Sign Language recognition: Reducing the complexity of the task with phoneme-based modeling and parallel hidden Markov models, Christian Philipp Vogler
Techniques for reducing the computational requirements of symbolic reachability analysis, Zijiang Yang
Theses and Dissertations from 2002
XML query reformulation over mixed and redundant storage, Alin Bernard Deutsch
A self -correcting stereo vision system for view synthesis, Geoffrey Egnal
Catadioptric projective geometry: Theory and applications, Christopher Michael Geyer
Statistical cue estimation for model-based shape and motion tracking, Siome Klein Goldenstein
Feel the “fabric” via the PHANToM, Gang Huang
Physics based cloth simulation, Suejung Bang Huh
Facial animation system with realistic eye movement based on a cognitive model for virtual agents, Sooha Park Lee
Practical active packets, Jonathan Thomas Moore
ubQL: A distributed query language to program distributed query systems, Arnaud Sahuguet
State -space tool: Understanding concurrent programs through state -space, Jangwoo Shin
Data annotations, provenance, and archiving, Wang-Chiew Tan
Incremental algorithms for the design of triangular -based spline surfaces, Dianna Xu
Theses and Dissertations from 2000
Object /relational query optimization with chase and backchase, Lucian Popa
Theses and Dissertations from 1999
Path constraints for databases with or without schemas, Wenfei Fan
Theses and Dissertations from 1996
Pipeline rendering: Interaction and realism through hardware-based multi-pass rendering, Paul Joseph Diefenbach
Probabilistic matching of deformed images, James C Gee
Theses and Dissertations from 1995
Sensor processing for mobile robot localization, exploration and navigation, Robert Mandelbaum
An architecture for end-to-end quality of service provision and its experimental validation, Klara Nahrstedt
Operator control of telerobotic systems for real world intervention, Craig Peter Sayers
Theses and Dissertations from 1994
Voronoi diagrams and algorithmic motion planning: Parallel and randomized techniques, Suneeta Ramaswami
Formal and computational aspects of natural language syntax, Owen C Rambow
Behavior-based control for time-delayed teleoperation, Matthew Ralph Stein
Theses and Dissertations from 1992
Syntactic locality and tree adjoining grammar: Grammatical, acquisition and processing perspectives, Robert Evan Frank
Data abstraction in programming language semantics, Ramesh Subrahmanyam
Theses and Dissertations from 1991
Teleprogramming: Towards delay-invariant remote manipulation, Janez Funda
Theses and Dissertations from 1990
Natural language control of animation of task performance in a physical domain, Jugal Kumar Kalita
Theses and Dissertations from 1989
Stepfamily adaptability and cohesion: A normative study, Hope Brown Chollak
The relationship between leadership behaviors of the principal and the morale of the teaching staff, Robin Denise Koslo
The empowerment educator as disguised ruler: The paradox of negotiating power and status in a college classroom, Pearl Marlene Rosenberg
Theses and Dissertations from 1988
Methodology for the assessment of software risk, Susan Ann Sherer
Characterizing mildly context-sensitive grammar formalisms, David Jeremy Weir
Theses and Dissertations from 1985
A THEORY OF SCALAR IMPLICATURE (NATURAL LANGUAGES, PRAGMATICS, INFERENCE), JULIA BELL HIRSCHBERG
Theses and Dissertations from 1984
A MODAL TEMPORAL LOGIC FOR REASONING ABOUT CHANGING DATABASES WITH APPLICATIONS TO NATURAL LANGUAGE QUESTION ANSWERING (ARTIFICIAL INTELLIGENCE), ERIC KEENER MAYS
Theses and Dissertations from 1982
DESIGN OF INCREMENTAL TOOLS FOR INTERACTIVE PROGRAMMING ENVIRONMENTS WITH APPLICATION TO COMPILER GENERATORS, FAHIMEH JALILI
Theses and Dissertations from 1981
OPTIMAL REGISTRATION OF DEFORMED IMAGES, CHAIM BROIT
Theses and Dissertations from 1980
REVERSIBLE IMAGE COMPRESSION, LARRY BERNARD GRIM