Sciweavers

4167 search results - page 258 / 834
» Evolutionary functional testing
Sort
View
131
Voted
ISBI
2006
IEEE
16 years 4 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
124
Voted
HYBRID
2005
Springer
15 years 9 months 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
118
Voted
PKDD
2005
Springer
96views Data Mining» more  PKDD 2005»
15 years 9 months 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
117
Voted
INEX
2004
Springer
15 years 9 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
141
Voted
RTAS
1997
IEEE
15 years 7 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...