Sciweavers

4167 search results - page 258 / 834
» Evolutionary functional testing
Sort
View
ISBI
2006
IEEE
16 years 7 months ago
Preliminary testing of sensitivity to input data quality in an elastographic reconstruction method
An elastographic reconstruction method has been developed to recover the material properties of soft tissue by modelbased analysis of image data acquired at different states of me...
Jao J. Ou, Stephanie L. Barnes, Michael I. Miga
HYBRID
2005
Springer
16 years 3 days ago
Primal-Dual Tests for Safety and Reachability
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
Stephen Prajna, Anders Rantzer
PKDD
2005
Springer
96views Data Mining» more  PKDD 2005»
16 years 2 days ago
Testing Theories in Particle Physics Using Maximum Likelihood and Adaptive Bin Allocation
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...
Bruce Knuteson, Ricardo Vilalta
INEX
2004
Springer
15 years 12 months ago
Reliability Tests for the XCG and inex-2002 Metrics
In this paper we compare the effectiveness scores and system rankings obtained with the inex-2002 metric, the official measure of INEX 2004, and the XCG metrics proposed in [4] an...
Gabriella Kazai, Mounia Lalmas, Arjen P. de Vries
RTAS
1997
IEEE
15 years 10 months ago
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
Monica Brockmeyer, Farnam Jahanian, Constance L. H...