Search
Now showing items 1011-1020 of 1390
Spectral Alignment of Networks
(2015-02-18)
Network alignment refers to the problem of finding a bijective mapping across vertices of two or more graphs to maximize the number of overlapping edges and/or to minimize the number of mismatched interactions across ...
Efficiently Solving Repeated Integer Linear Programming Problems by Learning Solutions of Similar Linear Programming Problems using Boosting Trees
(2015-01-21)
It is challenging to obtain online solutions of large-scale integer linear programming (ILP) problems that occur frequently in slightly different forms during planning for autonomous systems. We refer to such ILP problems ...
Queueing Theory Analysis of Labor & Delivery at a Tertiary Care Center
(MIT CSAIL, 2014-12-16)
Labor and Delivery is a complex clinical service requiring the support of highly trained healthcare professionals from Obstetrics, Anesthesiology, and Neonatology and the access to a finite set of valuable resources. In ...
An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems
(2015-02-10)
We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of experimental error, the majority of the reported patches violate the basic principle behind ...
On the Formal Semantics of the Cognitive Middleware AWDRAT
(2015-03-03)
The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand ...
Improved Caching Strategies for Publish/Subscribe Internet Networking
(2015-01-31)
The systemic structure of TCP/IP is outdated; a new scheme for data transportation is needed in order to make the internet more adaptive to modern demands of mobility, information-driven demand, ever-increasing quantity ...
An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material)
(2015-02-02)
We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of experimental error, the majority of the reported patches violate the basic principle behind ...
Automatic Program Repair with Condition Synthesis and Compound Mutations
(2015-02-12)
We present PCR, a new automatic patch generation system. PCR uses a new condition synthesis technique to efficiently discover logical expressions that generate desired control- flow transfer patterns. Presented with a set ...
Supplementary Materials for "A Survey of Corpora in Computational and Cognitive Narrative Science"
(2014-12-30)
This archive contains supplementary materials for the article titled "A Survey of Corpora in Computational and Cognitive Narrative Science" by Mark A. Finlayson, published in the journal *Sprache und Datenverarbeitung*. ...
Designing Umeli: A Case for Medsersiated Design, a participatory approach to designing interactive systems for semi-literate users
(2012-10)
This dissertation documents a journey into the design of Ummeli with a community of semi-‐literate job seekers in Khayelitsha, Cape Town whose primary access to the internet was through their mobile phones. Working closely ...