Within Valiant'smodel of learning as formalized by Kearns, we show that computable total predicates for two formallyuncomputable problems the classical Halting Problem, and t...
We improve on previous recommender systems by taking advantage of the layered structure of software. We use a random-walk approach, mimicking the more focused behavior of a develo...
Zachary M. Saul, Vladimir Filkov, Premkumar T. Dev...
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...
Manos Renieris, Shashank Ramaprasad, Steven P. Rei...
Diffusion-Tensor MRI can be used to measure fibre orientation within the brain. Several studies have proposed methods to reconstruct known white matter fibre tracts in the brain. ...
Philip A. Cook, Daniel C. Alexander, Geoffrey J. M...
We present a novel histogram method for statistically characterizing the appearance of deformable models. In deformable model segmentation, appearance models measure the likelihoo...
Robert E. Broadhurst, Joshua Stough, Stephen M. Pi...