Browsing Computer Science by Issue Date
Now showing items 81-100 of 1558
-
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 ... -
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 ... -
Variations on the Theme of Caching
(University of Waterloo, 2005)This thesis is concerned with caching algorithms. We investigate three variations of the caching problem: web caching in the Torng framework, relative competitiveness and caching with request reordering. <br /><br /> ... -
Early Language Learning is a Good Model for Studying Early User Interface Learning
(University of Waterloo, 2005)To date, the self-revealing interface has been the elusive holy grail of the user interface community. This research advocates the use of early language learning as a model for early user interface learning. This model ... -
Pencil Light Transport
(University of Waterloo, 2005)Global illumination is an important area of computer graphics, having direct applications in architectural visualization, lighting design and entertainment. Indirect illumination effects such as soft shadows, color ... -
Evidence Combination in Hidden Markov Models for Gene Prediction
(University of Waterloo, 2005)This thesis introduces new techniques for finding genes in genomic sequences. Genes are regions of a genome encoding proteins of an organism. Identification of genes in a genome is an important step in the annotation ... -
Graph-Based Fracture Models for Rigid Body Explosions
(University of Waterloo, 2005)Explosions are one of the most powerful and devastating natural phenomena. The pressure front from the blast wave of an explosion can cause fracture of objects in its vicinity and create flying debris. In this thesis, ... -
RNA Homology Searches Using Pair Seeding
(University of Waterloo, 2005)Due to increasing numbers of non-coding RNA (ncRNA) being discovered recently, there is interest in identifying homologs of a given structured RNA sequence. Exhaustive homology searching for structured RNA molecules using ... -
Enhancements to Hidden Markov Models for Gene Finding and Other Biological Applications
(University of Waterloo, 2005)In this thesis, we present enhancements of hidden Markov models for the problem of finding genes in DNA sequences. Genes are the parts of DNA that serve as a template for synthesis of proteins. Thus, gene finding ... -
The Continuum Architecture: Towards Enabling Chaotic Ubiquitous Computing
(University of Waterloo, 2005)Interactions in the style of the ubiquitous computing paradigm are possible today, but only in handcrafted environments within one administrative and technological realm. This thesis describes an architecture (called ... -
An Aspect-Oriented Approach to Design and Develop Hypermedia Documents
(University of Waterloo, 2005)Hypermedia applications can be defined as collections of interactive multimedia documents that are organized as a hypertext net. The variety of application domains and the complexity of the relationship among the application ... -
FlexSADRA: Flexible Structural Alignment using a Dimensionality Reduction Approach
(University of Waterloo, 2005)A topic of research that is frequently studied in Structural Biology is the problem of determining the degree of similarity between two protein structures. The most common solution is to perform a three dimensional ... -
On the Maintenance Costs of Formal Software Requirements Specification Written in the Software Cost Reduction and in the Real-time Unified Modeling Language Notations
(University of Waterloo, 2005)A formal specification language used during the requirements phase can reduce errors and rework, but formal specifications are regarded as expensive to maintain, discouraging their adoption. This work presents a ... -
BioSpec: A Biophysically-Based Spectral Model of Light Interaction with Human Skin
(University of Waterloo, 2005)Despite the notable progress in physically-based rendering, there is still a long way to go before we can automatically generate predictable images of biological materials. In this thesis, we address an open problem in ... -
CGU: A common graph utility for DL Reasoning and Conjunctive Query Optimization
(University of Waterloo, 2005)We consider the overlap between reasoning involved in <em>conjunctive query optimization</em> (CQO) and in tableaux-based approaches to reasoning about subsumption in <em>description logics</em> (DLs). In both cases, an ... -
Design of a Knowledge Acquisition Tool using A Constructivist Approach for Creating Tailorable Patient Education Materials
(University of Waterloo, 2005)Research in patient education suggests that tailored educational materials can improve patient's understanding of a treatment plan and help to achieve patient engagement and compliance. The goal of the HealthDoc Project ... -
Encoding XQuery using <em>System F</em>
(University of Waterloo, 2005)Since the World Wide Web Consortium (W3C) has recommended XQuery as the standard XML query language, the interest in using existing relational technology to query the XML data has dramatically increased. The most significant ... -
Resource Management for Delivery of Dynamic Information
(University of Waterloo, 2005)Information delivery via the web has become very popular. Along with a growing user population, systems increasingly are supporting content that changes frequently, personalised information, and differentiation and ... -
Physically-based Simulation of Tornadoes
(University of Waterloo, 2005)In this physically-based tornado simulation, the tornado-scale approach techniques are applied to simulate the tornado formation environment. The three-dimensional Navier-Stokes equations for incompressible viscous ... -
Approximation Algorithms for Rectangle Piercing Problems
(University of Waterloo, 2005)Piercing problems arise often in facility location, which is a well-studied area of computational geometry. The general form of the piercing problem discussed in this dissertation asks for the minimum number of facilities ...