Browsing Computer science and engineering by Title
Now showing items 48-67 of 433
-
Automatic Scaffolding for Procedural Learning
A key challenge in education is how provide support that is tailored to the learner's individual needs. Effective teachers and curricula typically provide such support, often referred to as instructional scaffolding, through ... -
Automatic Scaffolding for Procedural Learning
A key challenge in education is how provide support that is tailored to the learner's individual needs. Effective teachers and curricula typically provide such support, often referred to as instructional scaffolding, through ... -
Automatic staged compilation
(2005)The ability to optimize programs while they execute has become increasingly important in recent years. The primary challenge in such optimization is to keep the run-time overhead of optimization down while maximizing its ... -
Automating Animated Transitions in Statistical Graphics
People use statistical graphics (e.g., bar or line charts) to analyze data or convey insights from data. As data often involves many variables and aspects, it is inevitable to use more than one graphic. By transitioning ... -
Automating Stochastic Optimal Control
(2014-04-30)Stochastic Optimal Control is an elegant and general framework for specifying and solving control problems. However, a number of issues have impeded its adoption in practical situations. In this thesis, we describe algorithmic ... -
Avoiding State-Space Explosion in Multithreaded Programs with Input-Covering Schedules and Symbolic Execution
(2014-04-30)This dissertation makes two high-level contributions: First, we propose an algorithm to perform symbolic execution of multithreaded programs from arbitrary program contexts. We argue that this can enable more efficient ... -
Backscatter Protocols and Energy-Efficient Computing for RF-Powered Devices
(2013-02-25)RF-powered computers operate using energy they harvest from radio frequency (RF) signals. Compared to battery powered devices, they have the advantages of being small and long-lived as they do not need to carry an onboard ... -
Bayesian Computation and Optimal Decision Making in Primate Brains
This dissertation investigates the computational principles underlying the brains’ remarkable capacity to perceive, learn and act in environments of constantly varying uncertainty. Bayesian probability theory has suggested ... -
Better Education Through Improved Reinforcement Learning
When a new student comes to play an educational game, how can we determine what content to give them such that they learn as much as possible? When a frustrated customer calls in to a helpline, how can we determine what ... -
Beyond Access: Broadening technological and financial inclusion
The \emph{Theory of Access} urges us to redefine access beyond ownership as ``\emph{the ability to derive benefits from things}''. Once a user has technology access, many factors enable or limit the user in understanding ... -
Brains in the Wild: Machine learning for naturalistic, long-term neural and video recordings
Developing useful interfaces between brains and machines is a grand challenge of neuroengineering. An effective interface has the capacity to not only interpret neural signals, but it needs to be practical, robust and work ... -
Broad Generalization through Domain Transfer: Abstractions and Algorithms
Deep learning and reinforcement learning have recently had a transformative impact on the fields of computer vision, NLP, and robotics. However, most of the recent progress have been in narrowly defined tasks where training ... -
Building and Accelerating a Declarative Platform for Machine Learning Model Serving
Artificial intelligence has become the topic of the current and next decade. Numerous AI-related applications in computer vision, natural language processing and audio are deployed to change people's lives. Building effective ... -
Building and Querying Probabilistic Models for Open World Database Systems
A fundamental assumption of traditional database management systems is that the database contains all information necessary to answer a query; i.e., the database contains the entire population of data. However, with the ... -
Building Behavioral Experimentation Engines
Human behavior is an incredibly complex topic, given the variation between individuals and the many ways we can be influenced by our environment. This complexity, combined with the difficulty and expense of running experiments ... -
Building Blocks for Data-Driven Theories of Language Understanding
I propose a paradigm for scientific progress in natural language processing, centered around the development of data-driven theories of language understanding. The central idea is to collect data in tightly scoped, carefully ... -
Building Distributed Systems Using Programmable Networks
The continuing increase of data center network bandwidth, coupled with a slower improvement in CPU performance, has challenged our conventional wisdom regarding data center networks: how to build distributed systems that ... -
Building Efficient Network Protocols for Data Centers using Programmable Switches
Historically, computer networks have been designed to have most of the complexity at the end-hosts, while the switches connecting them are simple forwarding pipes that understand a fixed, well-specified set of protocols. ... -
The cache coherence problem in shared-memory multiprocessors
(1987)Shared-memory multiprocessors offer increased computational power and the programmability of the shared-memory model. However, sharing memory between processors leads to contention which delays memory accesses. Adding a ... -
Censorship Resistant Web Applications
Of the countless individuals around the world confronted by Internet censorship every day, only a small fraction are successful in reaching their destinations. This is a failing of the censorship circumvention community. ...