Sciweavers

3356 search results - page 297 / 672
» Thresholds and Expectation Thresholds
Sort
View
ASM
2010
ASM
16 years 1 months ago
Alloy+HotCore: A Fast Approximation to Unsat Core
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
Nicolás D'Ippolito, Marcelo F. Frias, Juan ...
AINA
2009
IEEE
16 years 1 months ago
Quantitative Evaluation of Software Quality Metrics in Open-Source Projects
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...
Henrike Barkmann, Rüdiger Lincke, Welf Lö...
ASUNAM
2009
IEEE
16 years 1 months ago
Models of Communication Dynamics for Simulation of Information Diffusion
—We study information diffusion in real-life and synthetic dynamic networks, using well known threshold and cascade models of diffusion. Our test-bed is the communication network...
Konstantin Mertsalov, Malik Magdon-Ismail, Mark K....
ISBI
2009
IEEE
16 years 1 months ago
Fast Haar-Wavelet Denoising of Multidimensional Fluorescence Microscopy Data
We propose a novel denoising algorithm to reduce the Poisson noise that is typically dominant in fluorescence microscopy data. To process large datasets at a low computational co...
Florian Luisier, Cédric Vonesch, Thierry Bl...
ISBI
2009
IEEE
16 years 1 months ago
Fast Detection of Convergence Areas in Digital Breast Tomosynthesis
In this paper we propose a fast method to detect spiculated lesions and architectural distortions in Digital Breast Tomosynthesis datasets. This approach relies on an a contrario ...
Giovanni Palma, Serge Muller, Isabelle Bloch, Razv...