Now showing items 41-60 of 1539

    • Computer Aided Ferret Design 

      Siu, Selina (University of Waterloo, 2003)
      Ferrets are amusing, flexible creatures that have been under represented in computer models. Because their bodies can assume almost any curved shape, splines are the natural tool for modelling ferrets. Surface pasting ...
    • Implementing Overloading and Polymorphism in Cforall 

      Bilson, Richard C. (University of Waterloo, 2003)
      The programming language Cforall extends the C language with, among other things, overloading, parametric polymorphism, and functions that can return multiple values from a single call. This thesis presents an outline ...
    • Effects of Developmental Heuristics for Natural Language Learning 

      Engels, Steve (University of Waterloo, 2003)
      Machine learning in natural language has been a widely pursued area of research. However, few learning techniques model themselves after human learning, despite the nature of the task being closely connected to human ...
    • A Parameterized Algorithm for Upward Planarity Testing of Biconnected Graphs 

      Chan, Hubert (University of Waterloo, 2003)
      We can visualize a graph by producing a geometric representation of the graph in which each node is represented by a single point on the plane, and each edge is represented by a curve that connects its two ...
    • Software Architecture Recovery based on Pattern Matching 

      Sartipi, Kamran (University of Waterloo, 2003)
      Pattern matching approaches in reverse engineering aim to incorporate domain knowledge and system documentation in the software architecture extraction process, hence provide a user/tool collaborative environment for ...
    • Indexing Compressed Text 

      He, Meng (University of Waterloo, 2003)
      As a result of the rapid growth of the volume of electronic data, text compression and indexing techniques are receiving more and more attention. These two issues are usually treated as independent problems, but approaches ...
    • Offset Surface Light Fields 

      Ang, Jason (University of Waterloo, 2003)
      For producing realistic images, reflection is an important visual effect. Reflections of the environment are important not only for highly reflective objects, such as mirrors, but also for more common objects such as ...
    • A Geometric B-Spline Over the Triangular Domain 

      Ingram, Christopher (University of Waterloo, 2003)
      For modelling curves, B-splines [3] are among the most versatile control schemes. However, scaling this technique to surface patches has proven to be a non-trivial endeavor. While a suitable scheme exists for rectangular ...
    • Augmenting Local Search for Satisfiability 

      Southey, Finnegan (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 ...
    • Lexical Affinities and Language Applications 

      Terra, Egidio (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 ...
    • Admission Control for Independently-authored Realtime Applications 

      Kroeger, Robert (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 ...
    • Desired Features and Design Methodologies of Secure Authenticated Key Exchange Protocols in the Public-Key Infrastructure Setting 

      Wang, Hao-Hsien (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 

      Chen, Jun (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 ...
    • Adaptive Comparison-Based Algorithms for Evaluating Set Queries 

      Mirzazadeh, Mehdi (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 ...
    • An Attempt to Automate <i>NP</i>-Hardness Reductions via <i>SO</i>&#8707; Logic 

      Nijjar, Paul (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>&#8707;) logic as ...
    • Suitability of Java for Solving Large Sparse Positive Definite Systems of Equations Using Direct Methods 

      Armstrong, Shea (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. ...
    • The Use of Internal and External Functional Domains to Improve Transmembrane Protein Topology Prediction 

      Xu, Wei (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 ...
    • Compiling Data Dependent Control Flow on SIMD GPUs 

      Popa, Tiberiu (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 ...
    • Numerical Methods for Real Options in Telecommunications 

      d'Halluin, Yann (University of Waterloo, 2004)
      This thesis applies modern financial option valuation methods to the problem of telecommunication network capacity investment decision timing. In particular, given a cluster of base stations (wireless network with a ...
    • Human Skin Modelling and Rendering 

      Poirier, Guillaume (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 ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages