Sciweavers

ISSTA
2010
ACM
14 years 25 days ago
Automatically identifying critical input regions and code in applications
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...
Michael Carbin, Martin C. Rinard
CP
2008
Springer
14 years 2 months ago
Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms
Experimentation of new algorithms is the usual companion section of papers dealing with SAT. However, the behavior of those algorithms is so unpredictable that even strong experime...
Gilles Audemard, Laurent Simon
COMPGEOM
2005
ACM
14 years 2 months ago
Stability of persistence diagrams
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the p...
David Cohen-Steiner, Herbert Edelsbrunner, John Ha...
MICCAI
2001
Springer
14 years 5 months ago
Quantifying Small Changes in Brain Ventricular Volume Using Non-rigid Registration
Abstract. Non-rigid registration can automatically quantify small changes in volume of anatomical structures over time by means of segmentation propagation. Here we use a non-rigid...
Mark Holden, Julia A. Schnabel, Derek L. G. Hill