Browsing Computer Science by Title
Now showing items 1513-1532 of 1551
-
Verification of temporal properties involving multiple interacting objects
(University of Waterloo, 2013-10-24)Defects that arise due to violating a prescribed order for executing statements or executing a disallowed sequence of statements can be hard to detect since the sequence is often spread over multiple functions and source ... -
Verifying Mutable Systems
(University of Waterloo, 2017-10-23)Model checking has had much success in the verification of single-process and multi-process programs. However, model checkers assume an immutable topology which limits the verification in several areas. Consider the security ... -
VibEmoji: Exploring User-authoring Multi-modal Emoticons in Social Communication
(University of Waterloo, 2023-01-06)Emoticons are indispensable in online communications. With users’ growing needs for more customized and expressive emoticons, recent messaging applications begin to support (limited) multi-modal emoticons:, enhancing ... -
ViewDF: a Flexible Framework for Incremental View Maintenance in Stream Data Warehouses
(University of Waterloo, 2013-06-20)Because of the increasing data sizes and demands for low latency in modern data analysis, the traditional data warehousing technologies are greatly pushed beyond their limits. Several stream data warehouse (SDW) systems, ... -
Viewport- and World-based Personal Device Point-Select Interactions in the Augmented Reality
(University of Waterloo, 2020-11-20)Personal smart devices have demonstrated a variety of efficient techniques for pointing and selecting on physical displays. However, when migrating these input techniques to augmented reality, it is both unclear what the ... -
A Views-Based Design Framework for Web Applications
(University of Waterloo, 2002)Web application design is a broad term that refers to any aspect of designing a Web application, including designing Web interfaces to data. There are a number of commercial software tools available that employ various ... -
Virtual Frameworks for Source Migration
(University of Waterloo, 2004)<em>Virtual Frameworks</em> for source migration is a methodology to extract classes and interfaces from one or more frameworks used by an application. After migration, a new set of frameworks called virtual frameworks ... -
Virtual Network Embedding with Path-based Latency Guarantees in Elastic Optical Networks
(University of Waterloo, 2019-10-21)Elastic Optical Network (EON) virtualization has recently emerged as an enabling technology for 5G network slicing. A fundamental problem in EON slicing (known as Virtual Network Embedding (VNE)) is how to efficiently map ... -
Virtual PCF: Improving VoIP over WLAN performance with legacy clients
(University of Waterloo, 2009-07-22)Abstract Voice over IP (VoIP) is one of the fastest growing applications on the Internet. Concurrently, 802.11 Wireless LANs (WLANs) have become ubiquitous in residential, enterprise, campus and public networks. Currently ... -
VisConductor: Affect-Varying Gestural Widgets for Animating Dynamic Data Visualization in Augmented Video Presentations
(University of Waterloo, 2023-12-12)To enhance presentations involving data in remote settings, we introduce VisConductor, an authoring and presentation tool that allows presenters to manipulate data visualizations overlaid on their webcam feed with hand ... -
Viscous Liquid Animation with Spatially Adaptive Grids
(University of Waterloo, 2018-01-08)Viscous fluid behaviors are among the most complex yet familiar physical phenomena we encounter in everyday life. Much attention and investigation has been paid to the creation of visually realistic results, especially ... -
The Visibility Freeze-Tag Problem
(University of Waterloo, 2014-08-25)In the Freeze-Tag Problem, we are given a set of robots at points inside some metric space. Initially, all the robots are frozen except one. That robot can awaken (or “unfreeze”) another robot by moving to its position, ... -
Vision-Based Observation Models for Lower Limb 3D Tracking with a Moving Platform
(University of Waterloo, 2011-08-23)Tracking and understanding human gait is an important step towards improving elderly mobility and safety. This thesis presents a vision-based tracking system that estimates the 3D pose of a wheeled walker user's lower ... -
Visualizing and Understanding Code Duplication in Large Software Systems
(University of Waterloo, 2006-12-22)Code duplication, or code cloning, is a common phenomena in the development of large software systems. Developers have a love-hate relationship with cloning. On one hand, cloning speeds up the development process. On the ... -
Volume Visualisation Via Variable-Detail Non-Photorealistic Illustration
(University of Waterloo, 2002)The rapid proliferation of 3D volume data, including MRI and CT scans, is prompting the search within computer graphics for more effective volume visualisation techniques. Partially because of the traditional association ... -
Volumetric Weak Supervision for Semantic Segmentation
(University of Waterloo, 2022-05-24)Semantic segmentation is a popular task in computer vision. Fully supervised methods are data hungry, they require pixel precise annotations for thousands of images. To reduce user annotation efforts, weak supervision for ... -
The Vulcan game of Kal-toh: Finding or making triconnected planar subgraphs
(University of Waterloo, 2011-04-28)In the game of Kal-toh depicted in the television series Star Trek: Voyager, players attempt to create polyhedra by adding to a jumbled collection of metal rods. Inspired by this fictional game, we formulate graph-theoretical ... -
Walking Onions: Scaling Distribution of Information Safely in Anonymity Networks
(University of Waterloo, 2020-08-07)Scaling anonymity networks offers unique security challenges, as attackers can exploit differing views of the network’s topology to perform epistemic and route capture attacks. Anonymity networks in practice, such as ... -
Wasserstein Adversarial Robustness
(University of Waterloo, 2020-09-21)Deep models, while being extremely flexible and accurate, are surprisingly vulnerable to ``small, imperceptible'' perturbations known as adversarial attacks. While the majority of existing attacks focus on measuring ... -
Wasserstein Autoencoders with Mixture of Gaussian Priors for Stylized Text Generation
(University of Waterloo, 2021-01-28)Probabilistic text generation is an important application of Natural Language Processing (NLP). Variational autoencoders and Wasserstein autoencoders are two widely used methods for text generation. New research efforts ...