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

TOP >> THE UNIVERSITY OF TEXAS AT AUSTIN >> Computer science

Browse Institutions

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

Temporal spatio-velocity transform and its applications	Mechanical derivation and systematic analysis of correct linear algebra algorithms

Learnable similarity functions and their application to record linkage and clustering	Algorithms and heuristics for combinatorial optimization in phylogeny

Automatic interpretation of loosely encoded knowledge	A theory for the design and analysis of firewalls

Distributed learning using generative models	Formal specification and verification of a JVM and its bytecode verifier

Evolving visibly intelligent behavior for embedded game agents	Design and analysis of interoperating components

Understanding feature modularity	Polymorphous architectures: A unified approach for extracting concurrency of different granularities

Access control in decentralized, distributed systems	Byzantine fault-tolerance and beyond

Knowledge transfer techniques for dynamic environments	Enhancing memory controllers to improve DRAM power and performance

Efficient and effective symbolic model checking	Modeling and visualization of flexible protein-protein interactions

Artery-vein separation from thoracic CTA scans with application to PE detection and volume visualization	Real-time spatial modeling to detect and track resources on construction sites

Robust methods for locating multiple dense regions in complex datasets	Techniques for analyzing the computational power of constant-depth circuits and space-bounded computation

Flexible semantic matching of rich knowledge structures	Adaptive representations for reinforcement learning

Prefetch mechanisms by application memory access pattern	Learning for information extraction: From named entity recognition and disambiguation to relation extraction

Design and analysis of self-stabilizing sensor network protocols	Algorithms and data structures for cache-efficient computation: Theory and experimental evaluation

Expressiveness of answer set languages	Coordinated power, energy, and temperature management

A technology-scalable composable architecture	Adaptive predication via compiler-microarchitecture cooperation

Learning for semantic parsing with kernels under various forms of supervision	Following natural language route instructions

Robot developmental learning of an object ontology grounded in sensorimotor experience	Task encoding, motion planning and intelligent control using qualitative models

Enhanced classification through exploitation of hierarchical structures	Reinforcement learning in high-diameter, continuous environments

A study on diagnostic image analysis for the detection of precancerous lesions using multi-spectral digital images	Techniques to improve the hard and soft error reliability of distributed architectures

Matrix nearness problems in data mining	Reconfigurable resource scheduling

A generic memory module for events	Layout optimization algorithms for VLSI design and manufacturing

On multihop wireless network management: Measurement, modeling and control	Learning for semantic parsing and natural language generation using statistical machine translation techniques

Exploiting replication in automated program verification	Computer simulations of protein translocation and stretching

Productivity with performance: Property/behavior-based automated composition of parallel programs from self-describing components	Robust structure-based autonomous color learning on a mobile robot

Testing concurrent software systems	Transparent replication

Fully automatic hp-adaptivity for acoustic and electromagnetic scattering in three dimensions	Adaptive finite element simulation of flow and transport applications on parallel computers

Deterministic extractors	Measuring program similarity for efficient benchmarking and performance analysis of computer systems

Randomness extractors for independent sources and applications	MARLEDA: Effective distribution estimation through Markov random fields

New learning models for robust reference resolution	Modeling the self-organization of color selectivity in the visual cortex

Sparse random graphs: Methods, structure, and heuristics	Adaptive Trust Modeling in multi-agent systems: Utilizing experience and reputation

Predicting performance parameters of analog and mixed-signal circuits using Built-in and Built-off Self test	Combining advanced formal hardware verification techniques

Analysis techniques for nanometer digital integrated circuits	Error correcting codes: Local testing, list decoding, and applications

On multiple sequence alignment	Algorithms for distributed caching and aggregation

Statistical algorithms for circuit synthesis under process variation and high defect density	Removing unimportant computations in interprocedural program analysis

Scalable hardware memory disambiguation	Program analysis with Boolean logic solvers

Design and evaluation of a technology-scalable architecture for instruction-level parallelism	Distance-based indexing and its applications in bioinformatics

Network coding for next-generation networks	Generalization, lemma generation, and induction in ACL2

Coping with dynamic membership, selfishness, and incomplete information: Applications of probabilistic analysis and game theory	Computational modeling and real-time control of patient-specific laser treatment of prostate cancer

Automatic generation of instruction sequences for software-based self-test of processors and systems-on-a-chip	Sequential redundancy identification using transformation-based verification

Robust multithreaded applications	Motion perception and the scene statistics of motion

Autonomous sensor and action model learning for mobile robots	Autonomous inter-task transfer in reinforcement learning domains

URA: A universal data replication architecture	The Lagniappe programming environment

Creating and utilizing symbolic representations of spatial knowledge using mobile robots	Semantic representation and recognition of human activities

Development of a methodology for automating the identification and localization of engineered components and assessment of its impact on construction craft productivity	A library of general-purpose action descriptions

Mining statistical correlations with applications to software analysis	Serial and parallel dynamic adaptation of general hybrid meshes

Model-driven optimization of multihop wireless networks	Multiscale basis optimization for Darcy flow

Monitoring uncertain data for sensor-based real-time systems	xBFT: Byzantine fault tolerance with high performance, low cost, and aggressive fault isolation

Data structures and algorithms for real-time ray tracing at the University of Texas at Austin	A hybrid real-time visible surface solution for rays with a common origin and arbitrary directions

Detecting and tolerating faults in distributed systems	Synthesis of variation tolerant clock distribution networks

Using a game template as a multimedia-based cognitive tool to facilitate novices' conceptual understanding of object-oriented programming	High level static analysis of system descriptions for taming verification complexity

Diagnosing and tolerating bugs in deployed systems	Network-on-chip implementation and performance improvement through workload characterization and congestion awareness

Scalable kernel methods for machine learning	Efficient fault-tolerance for pipelined structures and its application to superscalar and dataflow machines

Efficient specification-based testing using incremental techniques	Low-cost assertion-based fault tolerance in hardware and software

High-order finite element methods for seismic wave propagation	Pointer analysis: Building a foundation for effective program analysis

Data privacy: The non-interactive setting	Attitude-driven decision making for multi-agent team formation in open and dynamic environments

Hardware techniques to improve cache efficiency	Control flow speculation for distributed architectures

Policy architecture for distributed storage systems	Multiscale modeling using goal-oriented adaptivity and numerical homogenization

Scheduling on-chip networks	Discovering heap anomalies in the wild

Privacy-preserving computation for data mining	Collaborative intrusion prevention

Easing software development for pervasive computing environments	Human extremity detection and its applications in action detection and recognition

A self-verifying theorem prover	Autonomous qualitative learning of distinctions and actions in a developing agent

Atomic block formation for explicit data graph execution architectures	Protecting sensitive information from untrusted code

Practical transparent persistence	Hardware Transactional Memory: A Systems Perspective

Learning with Markov logic networks: Transfer learning, structure learning, and an application to web query disambiguation	Transactional Memory Concurrency: New Models and Systems

Building Safety Maps using Vision for Safe Local Mobile Robot Navigation	Learning in Fractured Problems with Constructive Neural Network Algorithms

Improving the Performance of Wireless Networks using Frame Aggregation and Rate Adaptation	Chameleon: Rapid deployment of adaptive communication-aware applications

Computational Analysis of Meditation	Assertion-based Repair of Complex Data Structures

Systematic Testing Using Test Summaries: Effective and Efficient Testing of Relational Applications	An Object Recognition, Tracking, and Contextual Reasoning based Video Interpretation Methodology for Rapid Productivity Analysis of Construction Operations