3819 search results - page 182 / 764 » Predicting Dependability by Testing |
ML
2008
ACM
13 years 8 months ago
2008
ACM
It is well-known that heuristic search in ILP is prone to plateau phenomena. An explanation can be given after the work of Giordana and Saitta: the ILP covering test is NP-complete...
JMLR
2012
11 years 10 months ago
2012
This document contains supplementary material to the article ‘Statistical test for consistent estimation of causal effects in linear non-Gaussian models’, AISTATS 2012. A tabl...
BMCBI
2010
13 years 8 months ago
2010
Background: Protein alignments are an essential tool for many bioinformatics analyses. While sequence alignments are accurate for proteins of high sequence similarity, they become...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Where do most vulnerabilities occur in software? Our Vulture tool automatically mines existing vulnerability databases and version archives to map past vulnerabilities to componen...
MICCAI
1999
Springer
14 years 12 days ago
1999
Springer
Abstract. A system for interactive, 3–D, craniofacial surgery simulation is presented. It is used for the 3–D simulation of osteotomies of the facial and skull bones and for th...