ProQuest Subject Index - Computer science at THE UNIVERSITY OF TEXAS AT EL PASO

TOP >> THE UNIVERSITY OF TEXAS AT EL PASO >> Computer science

Browse Institutions

You are viewing titles for THE UNIVERSITY OF TEXAS AT EL PASO in the Computer science available through the UMI Dissertations & Thesis Gradwoorks site

Effects of line delay and noise on bystanders' perceptions of mobile phone conversations	Responsive behavior in tutorial spoken dialogues

Topaz: A Firefox protocol extension for GridFTP	Planeten Wach Hund Netz instrumenting infrastructure for PlanetLab

Planeten Wach Hund Netz: Instrumenting infrastructure for Planetlab	Adding the ability to eavesdrop on opponent communications to an online game

A study of security threat modeling and its use in evaluation of the certificate authority client certificate authority system	SimBA: A discrete-event simulator for performance prediction of volunteer computing projects

A distributed implementation of the SCIRun problem solving environment for Beowulf-class clusters	Automatic generation and verification of complex pattern-based software specifications

Fast algorithms for computing odd moments in statistical analysis of privacy-related interval data	Refactoring for paradigm change in the interactive data language

A prosodic cue that invites back-channel responses in Arabic	Provenance support for quality assessment of scientific results: A user study

A constraint-based approach to verification of programs with floating-point numbers	Set-valued extensions of fuzzy logic: Classification theorems

A software tool to help the deaf and hard of hearing experience music visually	Runtime verification of composite Web services

Analysis of a parallelized neural network training program implemented using MPI and RPCs	Enhancing test data generation using constraint programming

A Virtual Supermarket for Remote Sensing Data and Images	A formal approach to specifying access control security features of Java modules

Determinism in power signatures of electronics for health monitoring	The role of help resources in users' solution patterns: Comparison of methods

Extracting trust network information from scientific Web portals	An initial Operating System adaptation heuristic for Swap Cluster Max (SCM)

A distributed reconstruction of EKG signals	Evaluation of an image processing algorithm for scene change detection

Identification of human gait using genetic algorithm tuned fuzzy logic	Towards more reliable extrapolation algorithms with applications to organic chemistry

An optimization approach for the cascade vulnerability problem	Real-time image-based motion detection using color and structure

Runtime assertion checking for JML on the Eclipse platform using AST merging	Pressure induced phase transformatrion of SnO2 an ab initio constant pressure study

Information sharing across private databases	Appropriate prosodic variation is valued by users

Modeling geographic awareness of road networks for consistency verification	A deadline-driven epidemic data collection protocol suitable for tracking interpersonnel rendezvous

Function point analysis in computer science capstone projects	PWiseGen: A genetic algorithms-based framework for pairwise test set generation

Development of an expert system to aid in the selection of sustainability design engineering methods	Development and testing of an unmanned aircraft system for environmental science

Decentralized fault tolerant caching with Memcached	/Intepsilonli/ A bilingual computer software treatment program for apraxia of speech

Software development for a three-dimensional gravity inversion and application to study of the Border Ranges Fault System, south-central Alaska	Test case automation for specification patterns system and composite propositions

Prediction of ribonucleic acid secondary structures using a heuristic backtracking search	a symbolic approach towards constraint based software verification

GPU based parallel smoothing of seismic tomography models	The exploratory value of agent-based models in social sciences

Fault tolerance: Validating a mathematical model via a case study of RAxML, an HPC community code	Stereo matching - Improving image quality

Adding within-utterance emotion decay for more human-like dialog	Stereo matching: Evaluation of three algorithms and two cost functions

Estimating statistical characteristics under interval uncertainty and constraints: Mean, variance, covariance, and correlation	A robust real time eye tracking and gaze estimation system using particle filters

Upgrades to NRLMOL code	Decision Rule Induction for Service Sector Using Data Mining - A Rough Set Theory Approach

Propagation of interval and probabilistic uncertainty in cyberinfrastructure-related data processing and data fusion	On the selection of prosodic features for language modeling

Generating linear temporal logic formulas for complex pattern-based specifications	The use of interval-related expert knowledge in processing 2-D and 3-D data, with an emphasis on applications to geosciences and biosciences

Fast algorithms for computing statistics under interval uncertainty, with applications to computer science and to electrical and computer engineering	New algorithms for optimal portfolio selection

Transfer learning techniques for deep neural nets	Gaze, turn-taking and proxemics in multiparty versus dyadic conversation across cultures

Ontology-driven discovery of scientific computational entities	Stochastic Optimization for Learning-based Super-resolution: Algorithms and Applications

Algorithms for training large-scale linear programming support vector regression and classification	Specification of data properties to identify anomalies in scientific sensor data

Algorithmic aspects of analysis, prediction, and control in science and engineering: Symmetry-based approach	Ontologies for scientific data transformation

Partial orders for representing uncertainty, causality and decision making: General properties, operations, and algorithms