8398 search results - page 398 / 1680 » Optimal Software Testing |
199
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper shows a model-based design trajectory for the development of real-time embedded control software using virtual prototyping. As a test case, a Cartesian plotter is desig...
187
click to vote
FCT
2005
Springer
16 years 10 days ago
2005
Springer
We understand selection by intersection as distinguishing a single element of a set by the uniqueness of its occurrence in some other set. More precisely, given two sets A and B, i...
235
click to vote
APPROX
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We give a (ln n + 1)-approximation for the decision tree (DT) problem. An instance of DT is a set of m binary tests T = (T1, . . . , Tm) and a set of n items X = (X1, . ....
178
click to vote
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
We present and compare adaptive detection algorithms developed for synthetic aperture radar (SAR) targets in structured clutter, utilizing both generalized likelihood ratio (GLR) ...
201
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
The paper discusses three major issues. First, it discusses why it makes sense to approach problems in a hierarchical fashion. It de nes the class of hierarchically decomposable f...