Now showing items 21-40 of 48

    • A Framework and Taxonomy of Videogame Playing Preferences 

      Fortes Tondello, Gustavo; Wehbe, Rina Renee; Orji, Rita; Ribeiro, Giovanni; Nacke, Lennart (Association for Computing Machinery, 2017-10-15)
      Player preferences for different gaming styles or game elements has been a topic of interest in human-computer interaction for over a decade. However, current models suggested by the extant literature are generally based ...
    • Incremental and Commutative Composition of State-Machine Models of Features 

      Beidu, Sandy; Atlee, Joanne M.; Shaker, Pourya (IEEE, 2015-05)
      In this paper, we present a technique for incre- mental and commutative composition of state-machine models of features, using the FeatureHouse framework. The inputs to FeatureHouse are feature state-machines (or state-machine ...
    • Juicy Haptic Design: Vibrotactile Embellishments Can Improve Player Experience in Games 

      Singhal, Tanay; Schneider, Oliver (ACM, 2021-05)
      Game designers and researchers employ a sophisticated language for producing great player experiences with concepts such as juici- ness, which refers to excessive positive feedback. However, much of their discourse excludes ...
    • Large Aperiodic Semigroups 

      Brzozowski, Janusz; Szykuła, Marek (World Scientific Publishing, 2015-11-01)
      We search for the largest syntactic semigroups of star-free languages having n left quotients; equivalently, we look for the largest transition semigroups of aperiodic finite automata with n states. We first introduce ...
    • Learning Filters for the 2D Wavelet Transform 

      Recoskie, Daniel; Mann, Richard (IEEE, 2018)
      We propose a new method for learning filters for the 2D discrete wavelet transform. We extend our previous work on the 1D wavelet transform in order to process images. We show that the 2D wavelet transform can be represented ...
    • Learning Trustworthy Web Sources to Derive Correct Answers and Reduce Health Misinformation in Search 

      Zhang, Dake; Vakili Tahami, Amir; Abualsaud, Mustafa; Smucker, Mark (ACM, 2022-07)
      When searching the web for answers to health questions, people can make incorrect decisions that have a negative effect on their lives if the search results contain misinformation. To reduce health misinformation in search ...
    • Long-term Average Cost in Featured Transition Systems 

      Olaechea, Rafael; Fahrenberg, Uli; Atlee, Joanne M.; Legay, Axel (ACM, 2016-09)
      A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional or alternative) features. Family-based ...
    • Measuring Behaviour Interactions between Product-Line Features 

      Atlee, Joanne M.; Fahrenberg, Uli; Legay, Axel (IEEE, 2015-05)
      We suggest a method for measuring the degree to which features interact in feature-oriented software development. To this end, we extend the notion of simulation between transition systems to a similarity measure and lift ...
    • Merging Features in Featured Transition Systems 

      Atlee, Joanne M.; Beidu, Sandy; Fahrenberg, Uli; Legay, Axel (CEUR, 2015-09)
      Featured Transition Systems (FTSs) is a popular representation for software product lines: an entire product line is compactly represented as a single transition-machine model, in which feature-specific behaviour is guarded ...
    • Morse: Reducing the Feature Interaction Explosion Problem Using Subject Matter Knowledge as Abstract Requirements 

      Millet, Laure; Day, Nancy; Joyce, Jeffrey J. (IEEE, 2018-08)
      The feature interaction problem appears in many different kinds of complex systems, especially systems whose elements are created or maintained by separate entities - for example, a modern automobile that incorporates ...
    • Most Complex Non-returning Regular Languages 

      Brzozowski, Janusz; Davies, Sylvie (Springer, 2017-07-03)
      A regular language L is non-returning if in the minimal deterministic finite automaton accepting it there are no transitions into the initial state. Eom, Han and Jirásková derived upper bounds on the state complexity of ...
    • Most Complex Regular Right-Ideal Languages 

      Brzozowski, Janusz; Davies, Gareth (Springer, 2014)
      A right ideal is a language L over an alphabet Sigma that satisfies the equation L = L Sigma*. We show that there exists a sequence (Rn vertical bar n >= 3) of regular right-ideal languages, where R-n has n left quotients ...
    • Patterns of Search Result Examination: Query to First Action. 

      Abualsaud, Mustafa; Smucker, Mark (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 ...
    • Personalizing Persuasive Strategies in Gameful Systems to Gamification User Types 

      Orji, Rita; Fortes Tondello, Gustavo; Nacke, Lennart (Association for Computing Machinery, 2018-04-21)
      Persuasive gameful systems are effective tools for motivating behaviour change. Research has shown that tailoring these systems to individuals can increase their efficacy; however, there is little knowledge on how to ...
    • The Positive and Negative Influence of Search Results on People's Decisions about the Efficacy of Medical Treatments 

      Pogacar, Frances A.; Ghenai, Amira; Smucker, Mark; Clarke, Charles L. A. (ACM, 2017-10-01)
      People regularly use web search engines to investigate the efficacy of medical treatments. Search results can contain documents that present incorrect information that contradicts current established medical understanding ...
    • A Positive-definite Cut-cell Method for Strong Two-way Coupling Between Fluids and Deformable Bodies 

      Zarifi, Omar; Batty, Christopher (Association for Computing Machinery, 2017-07-28)
      We present a new approach to simulation of two-way coupling between inviscid free surface fluids and deformable bodies that exhibits several notable advantages over previous techniques. By fully incorporating the dynamics ...
    • Recommender Systems for Personalized Gamification 

      Fortes Tondello, Gustavo; Orji, Rita; Nacke, Lennart (ACM, 2017-07-09)
      Gamification has been used in a variety of application domains to promote behaviour change. Nevertheless, the mechanisms behind it are still not fully understood. Recent empirical results have shown that personalized ...
    • Representing hierarchical state machine models in SMT-LIB 

      Day, Nancy A.; Vakili, Amirhossein (ACM, 2016-05)
      We motivate and present a proposal for how to represent the syntax of behavioural models written in extended finite-state machine languages with hierarchical states (e.g., the Statecharts family) in SMT-LIB. By including ...
    • Scrappy: Using Scrap Material as Infill to Make Fabrication More Sustainable 

      Wall, Ludwig Wilhelm; Jacobson, Alec; Vogel, Daniel; Schneider, Oliver (ACM Press, 2021-05-06)
      We present a software system for fused deposition modelling 3D printing that replaces infill material with scrap to reduce material and energy consumption. Example scrap objects include unused 3D prints from prototyping ...
    • Stability of Connected Autonomous Vehicle Networks with Commensurate Time Delays 

      Al-Darabsah, Isam; Al Janaideh, Mohammad; Campbell, Sue Ann (IEEE, 2021-05)
      In this paper, we study the stability of Connected Autonomous Vehicle Networks (CAVN) with commensurate time delays under the assumption that communication time delays increase as the distance between the vehicles increases. ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages