4930 search results - page 330 / 986 » Testing a Safety-Critical Application |
135
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a new method to reconstruct high resolution images from structured illumination microscopy. It consists of estimating the illumination pattern parameters...
161
click to vote
IWANN
2007
Springer
16 years 26 days ago
2007
Springer
In this paper ensemble techniques have been applied in the frame of topology preserving mappings in two applications: classification and visualization. These techniques are applied...
143
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
158
click to vote
ICSOC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...
173
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...