Sciweavers

1748 search results - page 17 / 350
» Generating Data Analysis Programs from Statistical Models
Sort
View
BMCBI
2008
132views more  BMCBI 2008»
13 years 7 months ago
Mixture models for analysis of melting temperature data
Background: In addition to their use in detecting undesired real-time PCR products, melting temperatures are useful for detecting variations in the desired target sequences. Metho...
Christoffer Nellåker, Fredrik Uhrzander, Joa...
ICSE
2004
IEEE-ACM
14 years 7 months ago
Generating Tests from Counterexamples
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...
FASE
2006
Springer
13 years 11 months ago
Argus: Online Statistical Bug Detection
Statistical debugging is a powerful technique for identifying bugs that do not violate programming rules or program invariants. Previously known statistical debugging techniques ar...
Long Fei, Kyungwoo Lee, Fei Li, Samuel P. Midkiff
VMV
2004
292views Visualization» more  VMV 2004»
13 years 9 months ago
Automatic Generation of Shape Models Using Nonrigid Registration with a Single Segmented Template Mesh
Statistical shape modeling using point distribution models (PDMs) has been studied extensively for segmentation and other image analysis tasks. Methods investigated in the literat...
Geremy Heitz, Torsten Rohlfing, Calvin R. Maurer J...
WWW
2009
ACM
14 years 8 months ago
Automated construction of web accessibility models from transaction click-streams
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...
Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, ...