Browsing Computer Science by Title
Now showing items 1519-1538 of 1568
-
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line
(University of Waterloo, 2023-08-21)A Software product line (SPLs) eases the development of families of related products by managing and integrating a collection of mandatory and optional features (units of functionality). Individual products can be derived ... -
Variability-Aware Performance Prediction: A Case Study
(University of Waterloo, 2014-10-28)Configurable software systems allow users to form configurations by selecting and deselecting features. The process of configuration creation may directly affect performance of the system in a non-linear way because of ... -
Variability-Modelling Practices in Industrial Software Product Lines: A Qualitative Study
(University of Waterloo, 2013-05-22)Many organizations have transitioned from single-systems development to product-line development with the goal of increasing productivity and facilitating mass customization. Variability modelling is a key activity in ... -
Variants of Pseudo-deterministic Algorithms and Duality in TFNP
(University of Waterloo, 2023-08-18)We introduce a new notion of ``faux-deterministic'' algorithms for search problems in query complexity. Roughly, for a search problem $\cS$, a faux-deterministic algorithm is a probability distribution $\mathcal{A}$ over ... -
Variational Inference for Text Generation: Improving the Posterior
(University of Waterloo, 2020-08-10)Learning useful representations of data is a crucial task in machine learning with wide ranging applications. In this thesis we explore improving representations of models based on variational inference by improving the ... -
Variational Stokes with Polynomial Reduced Fluid Model
(University of Waterloo, 2021-01-21)Standard fluid simulators often apply operator splitting to independently solve for pressure and viscous stresses. This decoupling, however, induces incorrect free surface boundary conditions. Such methods are unable to ... -
Variational Stokes: A Unified Pressure-viscosity Solver for Accurate Viscous Liquids
(Association for Computing Machinery, 2017-07-20)We propose a novel unsteady Stokes solver for coupled viscous and pressure forces in grid-based liquid animation which yields greater accuracy and visual realism than previously achieved. Modern fluid simulators treat ... -
Variations on the Erdos Discrepancy Problem
(University of Waterloo, 2012-01-04)The Erdős discrepancy problem asks, "Does there exist a sequence t = {t_i}_{1≤i<∞} with each t_i ∈ {-1,1} and a constant c such that |∑_{1≤i≤n} t_{id}| ≤ c for all n,c ∈ ℕ = {1,2,3,...}?" The discrepancy of t equals ... -
Variations on the Theme of Caching
(University of Waterloo, 2005)This thesis is concerned with caching algorithms. We investigate three variations of the caching problem: web caching in the Torng framework, relative competitiveness and caching with request reordering. <br /><br /> ... -
Vector Graphics for Real-time 3D Rendering
(University of Waterloo, 2009-01-27)Algorithms are presented that enable the use of vector graphics representations of images in texture maps for 3D real time rendering. Vector graphics images are resolution independent and can be zoomed arbitrarily ... -
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 ...