Browsing Computer Science by Title
Now showing items 1314-1333 of 1545
-
Static Profiling of Alloy Models
(IEEE, 2023-02)Modeling of software-intensive systems using formal declarative modeling languages offers a means of managing software complexity through the use of abstraction and early identification of correctness issues by formal ... -
Static Transformation of Power Consumption for Program Tracing and Software Attestation
(University of Waterloo, 2017-01-12)This thesis presents methods to statically modify programs at compile-time to improve the effectiveness of power consumption based program analyses. Two related applications are considered, and algorithms are introduced ... -
Static Types with Less Syntax: Locus Types
(University of Waterloo, 2017-05-01)Optionally and gradually-typed languages allow types to be introduced to dynamic code as needed. While this approach allows some gradual movement from dynamically to statically-typed code, it requires rewriting ... -
A Statistical Analysis of the Aggregation of Crowdsourced Labels
(University of Waterloo, 2015-10-29)Crowdsourcing, due to its inexpensive and timely nature, has become a popular method of collecting data that is difficult for computers to generate. We focus on using this method of human computation to gather labels for ... -
The Steiner Ratio for the Obstacle-Avoiding Steiner Tree Problem
(University of Waterloo, 2008-09-26)This thesis examines the (geometric) Steiner tree problem: Given a set of points P in the plane, find a shortest tree interconnecting all points in P, with the possibility of adding points outside P, called the Steiner ... -
Stochastic Mechanisms for Truthfulness and Budget Balance in Computational Social Choice
(University of Waterloo, 2013-01-23)In this thesis, we examine stochastic techniques for overcoming game theoretic and computational issues in the collective decision making process of self-interested individuals. In particular, we examine truthful, stochastic ... -
Stop clicking on “update later”: Persuading users they need up-to-date antivirus protection
(Springer, 2014-05)Online security advice aims to persuade users to behave se- curely, but appears to have limited effects at changing behaviour. We pro- pose security advice targeted at end-users should employ visual rhetoric to form an ... -
Straight Line Movement in Morphing and Pursuit Evasion
(University of Waterloo, 2017-10-24)Piece-wise linear structures are widely used to define problems and to represent simplified solutions in computational geometry. A piece-wise linear structure consists of straight-line or linear pieces connected together ... -
Strategic Voting and Social Networks
(University of Waterloo, 2018-01-19)With the ever increasing ubiquity of social networks in our everyday lives, comes an increasing urgency for us to understand their impact on human behavior. Social networks quantify the ways in which we communicate with ... -
Stream WatDiv - A Streaming RDF Benchmark
(University of Waterloo, 2018-01-18)Modern applications are required to process stream data which are semantically tagged. Sometimes static background data interlinked with stream data are also needed to answer the query. To meet these requirements, streaming ... -
Streaming and Dynamic Algorithms for Minimum Enclosing Balls in High Dimensions
(University of Waterloo, 2011-08-30)At SODA'10, Agarwal and Sharathkumar presented a streaming algorithm for approximating the minimum enclosing ball of a set of points in d-dimensional Euclidean space. Their algorithm requires one pass, uses O(d) space, ... -
Structured Prediction on Dirty Datasets
(University of Waterloo, 2021-12-20)Many errors cannot be detected or repaired without taking into account the underlying structure and dependencies in the dataset. One way of modeling the structure of the data is graphical models. Graphical models combine ... -
Structured Total Least Squares for Approximate Polynomial Operations
(University of Waterloo, 2004)This thesis presents techniques for accurately computing a number of fundamental operations on approximate polynomials. The general goal is to determine nearby polynomials which have a non-trivial result for the operation. ... -
Struts2JSF: Framework Migration in J2EE Using Framework Specific Modeling Languages
(University of Waterloo, 2007-05-16)Java 2 Enterprise Edition is a portable, robust, scalable and secure platform for enterprise software development based on Java technologies, and embraces open standards through the Java Community Process (JCP). J2EE ... -
Student Success in Co-operative Education: An Analysis of Job Postings and Performance Evaluations
(University of Waterloo, 2023-05-26)Co-operative education (co-op) programs combine coursework and work internships and have become popular worldwide. In this analysis, we use two separate co-op datasets to understand employer expectations and factors that ... -
A Study in Preference Elicitation under Uncertainty
(University of Waterloo, 2011-08-30)In many areas of Artificial Intelligence (AI), we are interested in helping people make better decisions. This help can result in two advantages. First, computers can process large amounts of data and perform quick ... -
A Study of Adaptation Mechanisms for Simulation Algorithms
(University of Waterloo, 2012-08-30)The performance of a program can sometimes greatly improve if it was known in advance the features of the input the program is supposed to process, the actual operating parameters it is supposed to work with, or the ... -
A Study of Efficiency, Accuracy, and Robustness in Intensity-Based Rigid Image Registration
(University of Waterloo, 2008-09-30)Image registration is widely used in different areas nowadays. Usually, the efficiency, accuracy, and robustness in the registration process are concerned in applications. This thesis studies these issues by presenting an ... -
A Study of Immediate Requery Behavior in Search
(Association for Computing Machinery, 2018-03-11)When search results fail to satisfy users' information needs, users often reformulate their search query in the hopes of receiving better results. In many cases, users immediately requery without clicking on any search ... -
A study of object creators in JavaScript
(University of Waterloo, 2017-08-23)Traditional object-oriented languages use typed classes to specify the shape and behaviour of objects. In JavaScript, object behaviour is less constrained. Learning how JavaScript programmers create objects can help us ...