Browsing Computer Science by Issue Date
Now showing items 61-80 of 1544
-
Human Skin Modelling and Rendering
(University of Waterloo, 2004)Creating realistic-looking skin is one of the holy grails of computer graphics and is still an active area of research. The problem is challenging due to the inherent complexity of skin and its variations, not only across ... -
Admission Control for Independently-authored Realtime Applications
(University of Waterloo, 2004)This thesis presents the LiquiMedia operating system architecture. LiquiMedia is specialized to schedule multimedia applications. Because they generate output for a human observer, multimedia applications such as ... -
Augmenting Local Search for Satisfiability
(University of Waterloo, 2004)This dissertation explores approaches to the satisfiability problem, focusing on local search methods. The research endeavours to better understand how and why some local search methods are effective. At the root of ... -
Desired Features and Design Methodologies of Secure Authenticated Key Exchange Protocols in the Public-Key Infrastructure Setting
(University of Waterloo, 2004)The importance of an authenticated key exchange (AKE) protocol has long been known in the field of cryptography. Two of the questions still being asked today are (1) what properties or features does a secure AKE ... -
RMA: A Pattern Based J2EE Development Tool
(University of Waterloo, 2004)The development process for creating J2EE web applications is complex and tedious, and is thus error prone. The quality of a J2EE web application depends on correctness of code as well as the efficiency and flexibility ... -
Lexical Affinities and Language Applications
(University of Waterloo, 2004)Understanding interactions among words is fundamental for natural language applications. However, many statistical NLP methods still ignore this important characteristic of language. For example, information retrieval ... -
Compiling Data Dependent Control Flow on SIMD GPUs
(University of Waterloo, 2004)Current Graphic Processing Units (GPUs) (circa. 2003/2004) have programmable vertex and fragment units. Often these units are implemented as SIMD processors employing parallel pipelines. Data dependent conditional ... -
The Use of Internal and External Functional Domains to Improve Transmembrane Protein Topology Prediction
(University of Waterloo, 2004)Membrane proteins are involved in vital cellular functions and have important implications in disease processes, drug design and therapy. However, it is difficult to obtain diffraction quality crystals to study transmembrane ... -
An Attempt to Automate <i>NP</i>-Hardness Reductions via <i>SO</i>∃ Logic
(University of Waterloo, 2004)We explore the possibility of automating <i>NP</i>-hardness reductions. We motivate the problem from an artificial intelligence perspective, then propose the use of second-order existential (<i>SO</i>∃) logic as ... -
Suitability of Java for Solving Large Sparse Positive Definite Systems of Equations Using Direct Methods
(University of Waterloo, 2004)The purpose of the thesis is to determine whether Java, a programming language that evolved out of a research project by Sun Microsystems in 1990, is suitable for solving large sparse linear systems using direct methods. ... -
Linear Approximations For Factored Markov Decision Processes
(University of Waterloo, 2004)A Markov Decision Process (MDP) is a model employed to describe problems in which a decision must be made at each one of several stages, while receiving feedback from the environment. This type of model has been extensively ... -
Adaptive Comparison-Based Algorithms for Evaluating Set Queries
(University of Waterloo, 2004)In this thesis we study a problem that arises in answering boolean queries submitted to a search engine. Usually a search engine stores the set of IDs of documents containing each word in a pre-computed sorted order and ... -
Cache Design for a Hardware Accelerated Sparse Texture Storage System
(University of Waterloo, 2004)Hardware texture mapping is essential for real-time rendering. Unfortunately the memory bandwidth and latency often bounds performance in current graphics architectures. Bandwidth consumption can be reduced by ... -
AN EMPIRICAL STUDY OF DIFFERENT BRANCHING STRATEGIES FOR CONSTRAINT SATISFACTION PROBLEMS
(University of Waterloo, 2004)Many real life problems can be formulated as constraint satisfaction problems <i>(CSPs)</i>. Backtracking search algorithms are usually employed to solve <i>CSPs</i> and in backtracking search the choice of branching ... -
The Automation of Glycopeptide Discovery in High Throughput MS/MS Data
(University of Waterloo, 2004)Glycosylation, the addition of one or more carbohydrates molecules to a protein, is crucial for many cellular processes. Aberrant glycosylation is a key marker for various diseases such as cancer and rheumatoid arthritis. ... -
Mapping Template Semantics to SMV
(University of Waterloo, 2004)Template semantics is a template-based approach to describing the semantics of model-based notations, where a pre-defined template captures the notations' common semantics, and parameters specify the notations' distinct ... -
Giving Meaning to Macros
(University of Waterloo, 2004)With the prevalence of legacy C/C++ code, issues of readability and maintainability have become increasingly important. When we consider the problem of refactoring or migrating C/C++ code, we see the significant role ... -
An Embedded Shading Language
(University of Waterloo, 2004)Modern graphics accelerators have embedded programmable components in the form of vertex and fragment shading units. Current APIs permit specification of the programs for these components using an assembly-language level ... -
Infinite Sequences and Pattern Avoidance
(University of Waterloo, 2004)The study of combinatorics on words dates back at least to the beginning of the 20th century and the work of Axel Thue. Thue was the first to give an example of an infinite word over a three letter alphabet that contains ... -
Discovering Protein Sequence-Structure Motifs and Two Applications to Structural Prediction
(University of Waterloo, 2004)This thesis investigates the correlations between short protein peptide sequences and local tertiary structures. In particular, it introduces a novel algorithm for partitioning short protein segments into clusters of ...