Browsing Computer Science by Title
Now showing items 937-956 of 1451
-
A PAC-Theory of Clustering with Advice
(University of Waterloo, 2018-05-17)In the absence of domain knowledge, clustering is usually an under-specified task. For any clustering application, one can choose among a variety of different clustering algorithms, along with different preprocessing ... -
Packing Unit Disks
(University of Waterloo, 2008-08-27)Given a set of unit disks in the plane with union area A, what fraction of A can be covered by selecting a pairwise disjoint subset of the disks? Richard Rado conjectured 1/4 and proved 1/4.41. In this thesis, we consider ... -
Parallel Paths Analysis Using Function Call Graphs
(University of Waterloo, 2019-09-23)Call graphs have been used widely in different software engineering areas. Since call graphs provide us with detailed information about the structure of software elements and components and how they are connected with each ... -
Parallel Pattern Search in Large, Partial-Order Data Sets on Multi-core Systems
(University of Waterloo, 2011-01-20)Monitoring and debugging distributed systems is inherently a difficult problem. Events collected during the execution of distributed systems can enable developers to diagnose and fix faults. Process-time diagrams are ... -
Parallel Repetition of Prover-Verifier Quantum Interactions
(University of Waterloo, 2012-01-05)In this thesis, we answer several questions about the behaviour of prover-verifier interactions under parallel repetition when quantum information is allowed, and the verifier acts independently in them. We first ... -
Parameter and Structure Learning Techniques for Sum Product Networks
(University of Waterloo, 2019-09-25)Probabilistic graphical models (PGMs) provide a general and flexible framework for reasoning about complex dependencies in noisy domains with many variables. Among the various types of PGMs, sum-product networks (SPNs) ... -
A Parameterized Algorithm for Upward Planarity Testing of Biconnected Graphs
(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 ... -
Parameterized Code Generation From Template Semantics
(University of Waterloo, 2006)We have developed a tool that can create a Java code generator for a behavioural modelling notation given only a description of the notation's semantics as a set of parameters. This description is based on template ... -
Parameterized Enumeration of Neighbour Strings and Kemeny Aggregations
(University of Waterloo, 2013-08-30)In this thesis, we consider approaches to enumeration problems in the parameterized complexity setting. We obtain competitive parameterized algorithms to enumerate all, as well as several of, the solutions for two related ... -
Parlez-vous le hate?: Examining topics and hate speech in the alternative social network Parler
(University of Waterloo, 2021-12-23)Over the past several years, many “alternative” social networks have sprung up, with an emphasis on minimal moderation and protection of free speech. Although they claim to be politically neutral, they have been a haven ... -
Passenger Response to Driving Style in an Autonomous Vehicle
(University of Waterloo, 2019-09-23)Despite rapid advancements in automated driving systems (ADS), current human-computer interaction research tends to focus more on the safety driver in lower level vehicles. The future of automated driving lies in higher ... -
Password Advice Shouldn't Be Boring: Visualizing Password Guessing Attacks
(IEEE, 2013-09)Users are susceptible to password guessing attacks when they create weak passwords. Despite an abundance of text-based password advice, it appears insufficient to help home users create strong memorable passwords. We propose ... -
Path Queries in Weighted Trees
(University of Waterloo, 2012-08-24)Trees are fundamental structures in computer science, being widely used in modeling and representing different types of data in numerous computer applications. In many cases, properties of objects being modeled are ... -
A Path to DOT: Formalizing Scala with Dependent Object Types
(University of Waterloo, 2019-12-13)The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's i) essential features in a ii) type-safe way and is iii) easy to extend ... -
Patterns of Search Result Examination: Query to First Action.
(ACM, 2019-11-03)To determine key factors that affect a user's behavior with search results, we conducted a controlled eye-tracking study of users completing search tasks using both desktop and mobile devices. We focus our investigation ... -
Peer-Based Intelligent Tutoring Systems: A Corpus-Oriented Approach
(University of Waterloo, 2012-05-11)In this thesis, we present an artificial intelligence approach for tutoring students in environments where there is a large repository of possible learning objects (e.g. texts, videos). In particular, we advocate that ... -
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 ... -
People know how diverse their music recommendations should be; why don’t we?
(University of Waterloo, 2021-02-17)While many researchers have proposed various ways of quantifying recommendation list diversity, these approaches have had little input from users on their own perceptions and preferences in seeking diversity. Through a ... -
Performance Analysis of Distributed Virtual Environments
(University of Waterloo, 2006)A distributed virtual environment (DVE) is a shared virtual environment where multiple users at their workstations interact with each other. Some of these systems may support a large number of users, e. g. , massive ... -
Performance Comparison of Uniprocessor and Multiprocessor Web Server Architectures
(University of Waterloo, 2010-02-11)This thesis examines web-server architectures for static workloads on both uniprocessor and multiprocessor systems to determine the key factors affecting their performance. The architectures examined are event-driven ...