Browsing University of Waterloo by Type "Conference Paper"
Now showing items 21-40 of 137
-
Content Selection and Curation for Web Archiving: The Gatekeepers vs. the Masses
(Association for Computing Machinery, 2016-06)Any preservation effort must begin with an assessment of what content to preserve, and web archiving is no different. There have historically been two answers to the question "what should we archive?" The Internet Archive's ... -
Continuous Variable-Specic Resolutions of Feature Interactions
(ACM, 2017-09)Systems that are assembled from independently developed features suffer from feature interactions, in which features affect one another's behaviour in surprising ways. The Feature Interaction Problem results from trying ... -
Convective Heat Transfer In Hydrodynamically-Developed Laminar Flow In Asymmetrically-Heated Annuli: A Three-Temperature Problem
(2016-07)Heat transfer in hydrodynamically-developed flow in asymmetrically-heated channels and annuli has been studied extensively. This study is an extension of earlier work where heat transfer in an asymmetrically-heated ... -
Creating Your Bubble: Personal Space On and Around Large Public Displays
(ACM, 2016-05)We describe an empirical study that explores how users establish and use personal space around large public displays (LPDs). Our study complements field studies in this space by more fully characterizing interpersonal ... -
Curioscape: A Curiosity-driven Escape Room Board Game
(CHI PLAY '20: The Annual Symposium on Computer-Human Interaction in Play, 2020-11-02)Are you frustrated when a board game has too many rules? Do you want to jump straight into the game and just play? We created Curioscape, an escape room board game that focuses on the idea of whether eliminating a rule ... -
Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems
(IEEE, 2021-09)Modelling systems abstractly shows great promise to uncover bugs early in system development. The formal language Alloy provides the means of writing constraints abstractly, but lacks explicit constructs for describing ... -
DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy
(IEEE, 2017-09-04)We present DASH, a new language for describing formal behavioural models of requirements. DASH combines the ability to write abstract, declarative transitions (as in Z or Alloy) with a labelled control state hierarchy (as ... -
Deep Residual Networks for Hyperspectral Image Classification
(Institute of Electrical and Electronics Engineers, 2017-07-25)Deep neural networks can learn deep feature representation for hyperspectral image (HSI) interpretation and achieve high classification accuracy in different datasets. However, counterintuitively, the classification ... -
Defining Haptic Experience: Foundations for Understanding, Communicating, and Evaluating HX
(ACM, 2020-04-25)Haptic technology is maturing, with expectations and evidence that it will contribute to user experience (UX). However, we have very little understanding about how haptic technology can influence people’s experience. ... -
Demonstration Of New ESP-R Capability For Quantifying The Energy Savings Potential Of Window Shading Devices
(2009-06)Buildings with highly glazed facades and well insulated, air-tight envelopes result in interior spaces that are highly sensitive to solar gain. Solar gain through glazing is the largest and most variable gain in buildings ... -
Desiderata for Exploratory Search Interfaces to Web Archives in Support of Scholarly Activities
(Association for Computing Machinery, 2016-06)Web archiving initiatives around the world capture ephemeral web content to preserve our collective digital memory. In this paper, we describe initial experiences in providing an exploratory search interface to web archives ... -
Design and Preliminary Validation of The Player Experience Inventory
(Association for Computing Machinery, 2016-10-16)We present the design and preliminary results of the validation of the Player Experience Inventory (PXI). Based on the input of 64 experts in the field of player-computer interaction, we designed and refined this new scale. ... -
Detecting Feature-Interaction Symptoms in Automotive Software Using Lightweight Analysis
(IEEE, 2019-02)Modern automotive software systems are large, com- plex, and feature rich; they can contain over 100 million lines of code, comprising hundreds of features distributed across multiple electronic control units (ECUs), all ... -
Determining Longwave Radiative Properties Of Flat Shading Materials
(2008-08)Solar gain through fenestration has a significant impact on building peak load and annual energy consumption. Shading devices, attached to fenestration, offer a cost effective strategy in controlling solar gain. The ... -
Development of a strategic plan for food security and safety in the Inuvialuit Settlement Region, Canada
(Taylor & Francis, 2017-06-08)Background. Current social and environmental changes in the Arctic challenge the health and well-being of its residents. Developing evidence-informed adaptive measures in response to these changes is a priority for ... -
Disintermediating Government: The role of Open Data and Smart Infrastructure
(Hawaii International Conference on System Sciences, 2019)Governments are increasingly negotiating the adoption of civic technologies to improve government functioning and to better connect with citizens. Despite the benefits of civic technology to make government more efficient, ... -
Distributed Robust Vehicle State Estimation
(Institute of Electrical and Electronics Engineers, 2017-06)A distributed estimation approach based on opinion dynamics is proposed to enhance the reliability of vehicle corners’ velocity estimates, which are obtained by an unscented Kalman filter. The corners’ estimates from a ... -
Dual Conditions for Local Transverse Feedback Linearization
(IEEE, 2019-01-21)Given a control-affine system and a controlled invariant submanifold, the local transverse feedback linearization problem is to determine whether or not the system is locally feedback equivalent to a system whose dynamics ... -
Duetto: Latency Guarantees at Minimal Performance Cost
(IEEE Design, Automation and Test in Europe Conference (DATE), 2021-02-05)The management of shared hardware resources in multi-core platforms has been characterized by a fundamental trade-off: high-performance arbiters typically employed in COTS systems offer no worst-case guarantees, while ... -
DuoMC: Tight DRAM Latency Bounds with Shared Banks and Near-COTS Performance
(ACM International Symposium on Memory Systems (MEMSYS 2021), 2021-09-27)DRAM memory controllers (MCs) in COTS systems are designed primarily for average performance, offering no worst-case guarantees, while real-time MCs provide timing guarantees at the cost of a significant average performance ...