ProQuest Subject Index - Computer science at UNIVERSITY OF MARYLAND COLLEGE PARK

TOP >> UNIVERSITY OF MARYLAND COLLEGE PARK >> Computer science

Browse Institutions

You are viewing titles for UNIVERSITY OF MARYLAND COLLEGE PARK in the Computer science available through the UMI Dissertations & Thesis Gradwoorks site

Memory allocation for embedded systems with a compile-time-unknown scratch-pad size	Real-time unattended package detection using a syntactic approach

Investigating the effects of novice HPC programmer variations on code performance	Imaging computerization: Scripting and animation as process and product

The use of preconditioning for training support vector machines	Gaussian process regression for model estimation

Human activity classification based on gait and support vector machines	Simultaneous multi-view face tracking and recognition in video using particle filtering

Virtual reality simulation of a car suspension with active control capability	Shape identification and ranking in temporal data sets

The bit probe model for membership queries: Non-adaptive bit queries	Highly scalable short read alignment with the Burrows-Wheeler transform and cloud computing

Automated keyword extraction from bio-medical literature with concentration on antibiotic resistance	The Lattice Project: A multi-model grid computing system

Lexical features for statistical machine translation	Dynamic inference of static types for Ruby

Cellular pattern quantication and automatic bench-marking data-set generation on confocal microscopy images	Understanding scientific literature networks: Case study evaluations of integrating visualizations and statistics

Structured local exponential models for machine translation	Application of stochastic reliability modeling to waterfall and feature driven development software development lifecycles

Topic modeling for Wikipedia link disambiguation	Distributed flow optimization in dense wireless networks

Automatic critical section discovery using memory usage patterns	Citation handling: Processing citation texts in scientific documents

Image geolocation through heirarchical classification and dictionary-based recognition	Automated Kinematic Extraction of Wing and Body Motions of Free Flying Diptera

A discrete-continuous modeling approach with applications to vehicle holding and use	Lookup protocols and techniques for anonymity

Resource allocation in networked and distributed environments	Geometric issues in spatial indexing

Developing cost-effective model-based techniques for GUI testing	Declarative reasoning about moving objects

Combining description logic reasoning with AI planning for composition of Web services	Search, replication and grouping for unstructured P2P networks

Marmoset: A programming project assignment framework to improve the feedback cycle for students, faculty and researchers	Complex question answering based on a semantic domain model of clinical medicine

A variational shape optimization framework for image segmentation	Achieving global synchrony in a distributed system with free-running local clocks

Model-based hardware design for image processing systems	Collective entity resolution in relational data

A study of software input failure propagation mechanisms	Multi-dimensional joins

Guided self-organizing particle systems for basic problem solving	Neural network generation of temporal sequences from single static vector inputs using varying length distal target sequences

Bilattice based logical reasoning for automated visual surveillance and other applications	Heap data allocation to scratch-pad memory in embedded systems

Applying perceptrons to speculation in computer architecture	Multiple alternative sentence compressions as a tool for automatic summarization tasks

Distributed multidimensional indexing for scientific data analysis applications	Scalable machine learning for massive datasets: Fast summation algorithms

Petri net models for event recognition in surveillance videos	Efficient algorithms for clustering and interpolation of large spatial data sets

Adapting swarm intelligence for the self-assembly of prespecified artificial structures	Visual tracking of human hand and head movements and its applications

Multi-object tracking, event modeling, and activity discovery in video sequences	Robust network trust establishment for collaborative applications and protocols

Necessary bias in natural language learning	Residual Arnoldi methods: Theory, package, and experiments

Dynamic reconfiguration of network topology in optical networks	A sensory-motor linguistic framework for human activity understanding

Recurring software defects in high end computing	Model theory and complexity theory

Algorithms for solving linear and polynomial systems of equations over finite fields, with applications to cryptanalysis	Evolutionary design of artificial neural networks using a descriptive encoding language

Towards markerless motion capture: Model estimation, initialization and tracking	Spin: Lexical semantics, transitivity, and the identification of implicit sentiment

The influence of collective working memory strategies on agent teams	Entropy stable approximations of nonlinear conservation laws and related fluid equations

Collaborative technology for young children's outdoor education	Studies on fault-tolerant broadcast and secure computation

Calibration and metrology using still and video images	Expressiveness of definitions and efficiency of constructions in computational cryptography

Primal-dual algorithms for combinatorial optimization problems	Artificial evolution of arbitrary self-replicating cellular automata

Issues in visual querying and indexing for the efficient retrieval-by-content of arrangements of point objects	Human movement analysis: Ballistic dynamics, and edge continuity for pose estimation

Computational methods in protein structure comparison and analysis of protein interaction networks	Text summarization evaluation: Correlation human performance on an extrinsic task with automatic intrinsic metrics

Resource generation from structured documents for low-density languages	Algorithms for data placement, reconfiguration and monitoring in storage networks

Congestion control in satellite networks	On solving univariate polynomial equations over finite fields and some related problems

Enabling dynamic spectrum allocation in cognitive radio networks	Global phenomena from local rules: Peer-to-peer networks and crystal steps

Harnessing checker hierarchy for reliable microprocessors	Interface and interaction design for one-handed mobile computing

A framework for detecting and diagnosing configuration faults in Web applications	Development and evaluation of methodologies for vulnerability analysis of ad-hoc routing protocols

Feature generation and analysis applied to sequence classification for splice-site prediction	Distributed trust management in autonomic networks

Approximate range searching in the absolute error model	An investigation of the relationship between automated Machine Translation Evaluation metrics and user performance on an information extraction task

On lifetime maximization and fault tolerance measurement in wireless ad hoc and sensor networks	Adaptive constraint reduction for convex quadratic programming and training support vector machines

Property-based integrity monitoring of operating system kernels	Recognizing human faces: Physical modeling and pattern classification

A context-sensitive coverage criterion for test suite reduction	Machine translation by pattern matching

Flexible and efficient control of data transfers for loosely coupled components	Scalable query processing on spatial networks

Using join networks to compute satisfiability	Classifying attitude by topic aspect for English and Chinese document collections

Definable families of finite Vapnik Chervonenkis dimension	A logic-based framework for Web access control policies

Cyberstalking victimization: Impact and coping responses in a national university sample	Tag clouds: How format and categorical structure affect categorization judgment

Efficient rendering of large 3-D and 4-D scalar fields	Fast scalable peer-to-peer lookup services for multi-hop wireless networks

New algorithmic techniques for large scale volumetric data visualization on parallel architectures	Mesh-of-Trees interconnection network for an eXplicitly Multi-Threaded parallel computer architecture

Dimensionality reduction for hyperspectral data	Integrating statistics and visualization to improve exploratory social network analysis

Timestepped stochastic simulation of 802.11 WLANs	Scalable ontology systems

Robust techniques for visual surveillance	Hardware design, prototyping and studies of the eXplicit Multi-Threading (XMT) paradigm

Practical dynamic software updating	Visualizing & exploring networks using semantic substrates

Feedback-directed model-based GUI test case generation	Language-based enforcement of user-defined security policies: As applied to multi-tier Web programs

Sound, precise and efficient static race detection for multi-threaded programs	Synthesis of strategies for non-zero-sum repeated games

Improving the performance and precision of bioinformatic algorithms	Discovering and securing shared resources on the Internet

Spatial probabilistic temporal databases	Pricing volatility derivatives using space scaled Levy processes

Saliency-guided graphics and visualization	Multicasting in all-optical WDM networks

Fast solvers for models of fluid flow with spectral elements	On overset grids connectivity and vortex tracking in rotorcraft CFD

Shape dynamical models for activity analysis and coded aperture imaging for light-field capture	The measurement manager: Modular and efficient end-to-end measurement services

Computer vision and image processing techniques for mobile applications	Advanced honeypot architecture for network threats quantification

Towards a formal and scalable approach for quantifying software reliability at early development stages	PapierCraft: A paper-based interface to support interaction with digital documents

Multipath routing algorithms for communication networks: Ant routing and optimization based approaches	Decentralized and scalable resource management for desktop grids

A framework for discovering meaningful associations in the annotated life sciences web	Modeling shape, appearance and motion for human movement analysis

Random codes and graphs for secure communication	Real-time path planning for automating optical tweezers based particle transport operations

Techniques for video surveillance: Automatic video editing and target tracking	Identity resolution in email collections

Beyond nouns and verbs	Topic-sensitive belief revision

Accounting for defect characteristics in empirical studies of software testing	Mobile collaboration for young children: Reading and creating stories

Tractable learning and inference in high-treewidth graphical models	Meshless collocation methods for the numerical solution of elliptic boundary valued problems the rotational shallow water equations on the sphere

Secure, policy-based, multi-recipient data sharing	Defining and evaluating test suite consolidation for event sequence-based test cases

Combining static and dynamic typing in Ruby	Algorithmic issues in visual object recognition

Using Internet geometry to improve end-to-end communication performance	Fine-grained linguistic soft constraints on statistical natural language processing models

Representing and querying uncertain data	Robust methods for visual tracking and model alignment

Cooperative particle swarm optimization for combinatorial problems	Combinatorial problems in online advertising

Visual tracking and illumination recovery via sparse representation	Robust and efficient inference of scene and object motion in multi-camera systems

Localizing the effects of link flooding attacks in the Internet	Protein-protein docking using long range nuclear magnetic resonance constraints

Novel methods for metagenomic analysis	Rover: Architectural support for exposing and using context

The circle of meaning: From translation to paraphrasing and back	Improving statistical machine translation using comparable corpora

Link adaptation in wireless networks: A cross-layer approach	Transcript assembly and abundance estimation with high-throughput RNA sequencing

Interactive visualization techniques for searching temporal categorical data	Content recognition and context modeling for document analysis and retrieval

High performance computing for DNA sequence alignment and assembly	Recognizing objects and reasoning about their interactions

Activity representation from video using statistical models on shape manifolds	Behavioral reflexion models for software architecture

Cost-sensitive information acquisition in structured domains	Geometric algorithms for objects in motion

Static analysis in practice	Approximation algorithms for point pattern matching and searching

Long-term information preservation and access	Looking at people using partial least squares

A Formal Model of Ambiguity and its Applications in Machine Translation	Information theoretic secret key generation: Structured codes and tree packing

Topology control algorithms for rule-based routing	Understanding the social and cognitive experiences of children involved in technology design processes

Systems-compatible incentives	Analyzing structured scenarios by tracking people and their limbs

Process conformance testing: A methodology to identify and understand process violations in enactment of software processes	Modeling and experimental techniques to demonstrate nanomanipulation with optical tweezers

Runtime Enforcement of Memory Safety for the C Programming Language	Tuning Parallel Applications in Parallel

Combinatorial methods in coding theory	IP geolocation in metropolitan areas

Using and Manipulating Probabilistic Connectivity in Social Networks	Learning visual patterns: Imposing order on objects, trajectories and networks

Time-based location techniques using inexpensive, unsynchronized clocks in wireless networks	Spatio-termporal reasoning about agent behavior

Scalable techniques for behavioral analysis and forecasting	Diamond-based models for scientific visualization

A computational theory of the use-mention distinction in natural language	On the foundations of data interoperability and semantic search on the web

Matrix reduction in numerical optimization	Computing approximate customized ranking

Adaptive algorithms for automated processing of document images	Dual-based local search for deterministic, stochastic, and robust variants of the connected facility location problem

Optimizing for a many-core architecture without compromising ease-of-programming	Decision making under uncertainty

Genome assembly techniques	Personalizable knowledge integration

Sparse and nonnegative factorizations for music understanding	Multimedia social networks: Game theoretic modeling and equilibrium analysis

Scalable statistical modeling and query processing over large scale uncertain databases	Approximation algorithms for resource allocation

A distributional and syntactic approach to fine-grained opinion mining	Prediction, evolution and privacy in social and affiliation networks

Decision tree-based syntactic language modeling	Using machine learning to measure the cross section of top quark pairs in the muon+jets channel at the Compact Muon Solenoid

Cognitive Robots for Social Interaction	Foo's to blame: Techniques for mapping performance data to program variables

A Study of Separations in Cryptography: New Results and New Models	Modeling dependencies in natural languages with latent variables

Adapting swarm intelligence for the self-assembly and optimization of networks	N-body Simulations with Cohesion in Dense Planetary Rings

Image retrieval based on complex descriptive queries	Scalable learning for geostatistics and speaker recognition

Improving program testing and understanding via symbolic execution	Understanding, discovering and leveraging a software system's effective configuration space

Preserving trustworthiness and confidentiality for online multimedia	Characterization and modeling of off-specular neutron scattering for analysis of two dimensionally ordered structures

An agent-based modeling approach to reducing pathogenic transmission in medical facilities and community populations	Connectivity and data transmission over wireless mobile systems

Fast algorithms for the solution of stochastic partial differential equations	Learning techniques in multi-armed bandits

Algorithms and high performance computing approaches for sequencing-based comparative genomics	Sharing private data over public networks

Dense wide-baseline stereo with varying illumination and its application to face recognition	A group-based ring oscillator physical unclonable function

Interactive exploration of temporal event sequences	Extracting symbolic representations learned by neural networks

Enhancing Productivity and Performance Portability of General-Purpose Parallel Programming	Motion reconstruction of animal groups: From schooling fish to swarming mosquitoes

Automating performance diagnosis in networked systems	The use of multiple slate devices to support active reading activities

Clear, correct, and efficient dynamic software updates	Computationally Comparing Biological Networks and Reconstructing Their Evolution

Measuring Deformations and Illumination Changes in Images with Applications to Face Recognition	Efficient sensing, summarization and classification of videos

Decentralized network bandwidth prediction and node search	Broadcast and verifiable secret sharing: New security models and round optimal constructions

Computational metagenomics: Network, classification and assembly	Prediction in social media for monitoring and recommendation

Wide-area mobile content delivery	Three dimensional edge detection using wavelet and shearlet analysis

Geometric methods in machine learning and data mining	Multifaceted geotagging for streaming news

The image torque operator for mid-level vision: Theory and experiment	Face Recognition and Verification in Unconstrained Environments

Crowdsourced monolingual translation