Browsing Computer Science by Title
Now showing items 560-579 of 1544
-
Folding and Unfolding
(University of Waterloo, 2001)The results of this thesis concern folding of one-dimensional objects in two dimensions: planar linkages. More precisely, a planar linkage consists of a collection of rigid bars (line segments) connected at their ... -
Folding Orthogonal Polyhedra
(University of Waterloo, 1999)In this thesis, we study foldings of orthogonal polygons into orthogonal polyhedra. The particular problem examined here is whether a paper cutout of an orthogonal polygon with fold lines indicated folds up into a simple ... -
Formal Methods in Quantum Circuit Design
(University of Waterloo, 2019-02-26)The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with ... -
Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript
(University of Waterloo, 2018-08-31)As dynamic scripting languages are increasingly used in industry in large-scale projects, a need has arisen for more some of the convenient features of statically typed languages. This led to the development of gradual ... -
A Formalism for Visual Query Interface Design
(University of Waterloo, 2009-01-15)The massive volumes and the huge variety of large knowledge bases make information exploration and analysis difficult. An important activity is data filtering and selection, in which both querying and visualization play ... -
A Formalization of an Extended Object Model Using Views
(University of Waterloo, 2000)Reuse of software designs, experience and components is essential to making substantial improvements in software productivity, development cost, and quality. However, the many facets of reuse are still rarely used in ... -
FormlSlicer: A Model Slicing Tool for Feature-rich State-machine Models
(University of Waterloo, 2015-06-04)A model of the feature-oriented requirements of a software system usually contains a large number of non-trivial features; each feature may have unintended interactions with other features. It may be difficult to comprehend ... -
A Framework and Taxonomy of Videogame Playing Preferences
(Association for Computing Machinery, 2017-10-15)Player preferences for different gaming styles or game elements has been a topic of interest in human-computer interaction for over a decade. However, current models suggested by the extant literature are generally based ... -
A Framework for Logical Structure Extraction from Software Requirements Documents
(University of Waterloo, 2011-01-13)General purpose rich-text editors, such as MS Word are often used to author software requirements specifications. These requirements specifications contain many different logical structures, such as use cases, business ... -
A Framework for Machine-Assisted Software Architecture Validation
(University of Waterloo, 2000)In this thesis we propose a formal framework for specifying and validating properties of software system architectures. The framework is founded on a model of software architecture description languages (ADLs) and uses ... -
A Framework for Records Management in Relational Database Systems
(University of Waterloo, 2008-05-14)The problem of records retention is often viewed as simply deleting records when they have outlived their purpose. However, in the world of relational databases there is no standardized notion of a business record and its ... -
A Framework for Resource Allocation in Time Critical Dynamic Environments Based on Social Welfare and Local Search and its Application to Healthcare
(University of Waterloo, 2014-02-14)This thesis provides an artificial intelligence approach for the problem of resource allocation in time-critical dynamic environments. Motivated by healthcare scenarios such as mass casualty incidents, we are concerned ... -
A Framework for Software Component Interface Specification and Analysis
(University of Waterloo, 2001)Although markets are emerging for commercial off-the-shelf components (such as Sun JavaBeans), there are many barriers to widespread component adoption. This is due to the inherent `black-box' nature of software ... -
A Framework for the Generation of Textures Representing Time-Dependent Changes in the Appearance of Dust Layers
(University of Waterloo, 2022-04-19)The perception of realism in computer generated images can be significantly enhanced by subtle visual cues. Among those, one can highlight the presence of dust on synthetic objects, which is often subject to temporal ... -
Frameworks for Quantum Algorithms
(University of Waterloo, 2014-08-26)Due to the difficulty of constructing new quantum algorithms, frameworks that facilitate this construction are of great importance in quantum computing. These frameworks reduce the problem of coming up with a quantum ... -
FrictionalMonolith: A Monolithic Optimization-based Approach for Granular Flow with Contact-Aware Rigid-Body Coupling
(Association for Computing Machinery, 2021)We propose FrictionalMonolith, a monolithic pressure-friction-contact solver for more accurately, robustly, and efficiently simulating two-way interactions of rigid bodies with continuum granular materials or inviscid ... -
The Frobenius Problem in a Free Monoid
(University of Waterloo, 2009-08-21)Given positive integers c1,c2,...,ck with gcd(c1,c2,...,ck) = 1, the Frobenius problem (FP) is to compute the largest integer g(c1,c2,...,ck) that cannot be written as a non-negative integer linear combination of c1,c2,...,ck. ... -
From Atoms to the Solar System: Generating Lexical Analogies from Text
(University of Waterloo, 2006)A <em>lexical analogy</em> is two pairs of words (<em>w</em><sub>1</sub>, <em>w</em><sub>2</sub>) and (<em>w</em><sub>3</sub>, <em>w</em><sub>4</sub>) such that the relation between <em>w</em><sub>1</sub> and <em>w</em>< ... -
Fully Automated Translation of BoxTalk to Promela
(University of Waterloo, 2011-08-26)Telecommunication systems are structured to enable incremental growth, so that new telecommunication features can be added to the set of existing features. With the addition of more features, certain existing features may ... -
Fundamental Limitations of Semi-Supervised Learning
(University of Waterloo, 2009-05-05)The emergence of a new paradigm in machine learning known as semi-supervised learning (SSL) has seen benefits to many applications where labeled data is expensive to obtain. However, unlike supervised learning (SL), which ...