Browsing Computer Science by Title
Now showing items 634-653 of 1544
-
High Availability for Database Systems in Geographically Distributed Cloud Computing Environments
(University of Waterloo, 2014-01-21)In recent years, cloud storage systems have become very popular due to their good scal- ability and high availability. However, these storage systems provide limited transactional capabilities, which makes developing ... -
High Level Concurrency in C∀
(University of Waterloo, 2023-09-25)Concurrent programs are notoriously hard to write and even harder to debug. Furthermore concurrent programs must be performant, as the introduction of concurrency into a program is often done to achieve some form of speedup. ... -
High Performance Web Servers: A Study In Concurrent Programming Models
(University of Waterloo, 2019-05-24)With the advent of commodity large-scale multi-core computers, the performance of software running on these computers has become a challenge to researchers and enterprise developers. While academic research and industrial ... -
High-Performance Concurrent Memory Allocation
(University of Waterloo, 2022-05-25)Memory management takes a sequence of program-generated allocation/deallocation requests and attempts to satisfy them within a fixed-sized block of memory while minimizing the total amount of memory used. A general-purpose ... -
Higher Order Random Walks, Local Spectral Expansion, and Applications
(University of Waterloo, 2020-09-16)The study of spectral expansion of graphs and expander graphs has been an extremely fruitful line of research in Mathematics and Computer Science, with applications ranging from random walks and fast sampling to optimization. ... -
Higher-order Losses and Optimization for Low-level and Deep Segmentation
(University of Waterloo, 2021-12-21)Regularized objectives are common in low-level and deep segmentation. Regularization incorporates prior knowledge into objectives or losses. It represents constraints necessary to address ill-posedness, data noise, outliers, ... -
Homologous Gene Finding with a Hidden Markov Model
(University of Waterloo, 2007-01-12)The homology search problem and the gene finding problem are two fundamental problems in bioinformatics. The homology search problem is to find the homologous regions of two biological sequences; the gene finding problem ... -
Homologous Gene Finding with a Hidden Markov Model
(University of Waterloo, 2007-01-18)The homology search problem and the gene finding problem are two fundamental problems in bioinformatics. The homology search problem is to find the homologous regions of two biological sequences; the gene finding problem ... -
Homotopy algorithms for solving structured determinantal systems
(University of Waterloo, 2020-12-17)Multivariate polynomial systems arising in numerous applications have special structures. In particular, determinantal structures and invariant systems appear in a wide range of applications such as in polynomial optimization ... -
Honkling: In-Browser Personalization for Ubiquitous Keyword Spotting
(University of Waterloo, 2019-12-19)Used for simple voice commands and wake-word detection, keyword spotting (KWS) is the task of detecting pre-determined keywords in a stream of utterances. A common implementation of KWS involves transmitting audio samples ... -
How I wasted too long finding a concentration inequality for sums of geometric variables
(2011)I wanted a concentration inequality for sums of iid geometric random variables. This took way too long. -
How many crowdsourced workers should a requester hire?
(Springer, 2016-01)Recent years have seen an increased interest in crowdsourcing as a way of obtaining information from a potentially large group of workers at a reduced cost. The crowdsourcing process, as we consider in this paper, is as ... -
How Programmers Comment When They Think Nobody's Watching
(University of Waterloo, 2014-04-17)Documentation is essential to software development. Experienced programmers know this well from having worked with poorly documented code. They wish to improve their documentation techniques and habits, but there is ... -
Hubble Spacer Telescope
(University of Waterloo, 2022-01-19)Visualizing a model checker’s run on a model can be useful when trying to gain a deeper understanding of the verification of the particular model. However, it can be difficult to formalize the problem that visualization ... -
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 ... -
Human-AI Interaction in the Presence of Ambiguity: From Deliberation-based Labeling to Ambiguity-aware AI
(University of Waterloo, 2020-09-11)Ambiguity, the quality of being open to more than one interpretation, permeates our lives. It comes in different forms including linguistic and visual ambiguity, arises for various reasons and gives rise to disagreements ... -
A Human-Machine Framework for the Classification of Phonocardiograms
(University of Waterloo, 2018-04-20)In this thesis, we present and evaluate a framework for combining machine learning algo- rithms, crowd workers, and experts in the classification of heart sound recordings. The development of a hybrid human-machine framework ... -
A Hybrid Model for Object-Oriented Software Maintenance
(University of Waterloo, 2008-09-22)An object-oriented software system is composed of a collection of communicating objects that co-operate with one another to achieve some desired goals. The object is the basic unit of abstraction in an OO program; ... -
A Hybrid Symbolic-Numeric Method for Multiple Integration Based on Tensor-Product Series Approximations
(University of Waterloo, 2004)This work presents a new hybrid symbolic-numeric method for fast and accurate evaluation of multiple integrals, effective both in high dimensions and with high accuracy. In two dimensions, the thesis presents an adaptive ... -
HybridPointing Touch: A Technique to Switch Between Absolute and Relative Pointing on Large Touch Screens
(University of Waterloo, 2017-10-25)We extend Forlines et al.'s idea of mixed absolute and relative "HybridPointing" to large multitouch displays. In our bimanual "CursorTap" interaction technique, one hand triggers a kinaesthetic relative pointing mode while ...