Search
Now showing items 1591-1600 of 1850
A Publish-Subscribe Implementation of Network Management
(2013-06-04)
As modern networks become highly integrated, heterogeneous, and experience exponential growth, the task of network management becomes increasingly unmanageable for network administrators and designers. The Knowledge Plane ...
Organon: A Symbolic Constraint Framework & Solver
(2013-05-24)
Organon is an open source system for expressing and solving complex symbolic constraints between generic entities. Our design avoids restricting the programmer s ability to phrase constraints; Organon acts purely as a ...
Compositional Policy Priors
(2013-04-12)
This paper describes a probabilistic framework for incorporating structured inductive biases into reinforcement learning. These inductive biases arise from policy priors, probability distributions over optimal policies. ...
High Spatial Resolution BRDFs with Metallic powders Using Wave Optics Analysis
(2013-04-24)
This manuscript completes the analysis of our SIGGRAPH 2013 paper "Fabricating BRDFs at High Spatial Resolution Using Wave Optics" in which photolithography fabrication was used for manipulating reflectance effects. While ...
iBCM: Interactive Bayesian Case Model Empowering Humans via Intuitive Interaction
(2015-04-01)
Clustering methods optimize the partitioning of data points with respect to an internal metric, such as likelihood, in order to approximate the goodness of clustering. However, this internal metric does not necessarily ...
A Cache Model for Modern Processors
(2015-04-09)
Modern processors use high-performance cache replacement policies that outperform traditional alternatives like least-recently used (LRU). Unfortunately, current cache models use stack distances to predict LRU or its ...
Horizontal Code Transfer via Program Fracture and Recombination
(2015-04-14)
We present a new horizontal code transfer technique, program fracture and recombination, for automatically replacing, deleting, and/or combining code from multiple applications. Benefits include automatic generation of new ...
Staged Program Repair in SPR (Supplementary Material)
(2015-03-05)
We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair program defects. SPR's staged repair strategy combines a rich space of potential repairs with a ...
A Suite of Techniques for Describing Activity in Terms of Events
(2015-03-30)
This report presents a set of software techniques that support the tasks of event recognition, summarization of event sequences, explanation of recognized events, explanation of non-recognized events, prediction of event ...
Staged Program Repair in SPR
(2015-03-11)
We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair program defects. SPR s staged repair strategy combines a rich space of potential repairs with a ...