Search
Now showing items 151-160 of 295
Using Active Learning to Synthesize Models of Applications That Access Databases
(2018-08-28)
We present a new technique that uses active learning to infer models of
applications that manipulate relational databases. This technique
comprises a domain-specific language for modeling applications that
access ...
Inference and Regeneration of Programs that Store and Retrieve Data
(2017-04-24)
As modern computation platforms become increasingly complex, their programming interfaces are increasingly difficult to use. This complexity is especially inappropriate given the relatively simple core functionality that ...
Using Dynamic Monitoring to Synthesize Models of Applications That Access Databases
(2018-09-27)
We previously developed Konure, a tool that uses active learning to
infer the functionality of database applications. An alternative
approach is to observe the inputs, outputs, and database traffic from a
running ...
Multi-Unit Auction Revenue with Possibilistic Beliefs
(2017-06-05)
The revenue of traditional auction mechanisms is benchmarked solely against the players' own valuations, despite the fact that they may also have valuable beliefs about each other's valuations. Not much is known about ...
Outlier Detection in Heterogeneous Datasets using Automatic Tuple Expansion
(2016-02-08)
Rapidly developing areas of information technology are generating massive amounts of data. Human errors, sensor failures, and other unforeseen circumstances unfortunately tend to undermine the quality and consistency of ...
Collaborative Diagnosis of Over-Subscribed Temporal Plans
(2016-10-14)
Over-subscription, that is, being assigned too many tasks or requirements that are too demanding, is commonly encountered in temporal planning problems. As human beings, we often want to do more than we can, ask for things ...
Automatic Inference of Code Transforms and Search Spaces for Automatic Patch Generation Systems
(2016-07-08)
We present a new system, Genesis, that processes sets of human patches to automatically infer code transforms and search spaces for automatic patch generation. We present results that characterize the effectiveness of the ...
An Operating System for Multicore and Clouds: Mechanisms and Implementation
(2010-02-08)
Cloud computers and multicore processors are two emerging classes of computational hardware that have the potential to provide unprecedented compute capacity to the average user. In order for the user to effectively harness ...
Annotation Guide for the UCM/MIT Indications, Referential Expressions, and Coreference Corpus (UMIREC Corpus)
(2010-05-12)
This is the annotation guide given to the annotators who created the UCM/MIT Indications, Referring Expressions, and Coreference (UMIREC) Corpus version 1.0. The corpus comprises texts annotated for referring expressions, ...
SIFT Flow: Dense Correspondence across Scenes and its Applications
(2010-05-08)
While image alignment has been studied in different areas of computer vision for decades, aligning images depicting different scenes remains a challenging problem. Analogous to optical flow where an image is aligned to its ...