6704 search results - page 290 / 1341 » Testing Scenario-Based Models |
208
click to vote
TMI
2010
15 years 1 months ago
2010
We propose a nonparametric, probabilistic model for the automatic segmentation of medical images, given a training set of images and corresponding label maps. The resulting inferen...
178
click to vote
CLEF
2007
Springer
16 years 26 days ago
2007
Springer
The domain-specific track uses test collections from the social science domain to test monolingual and cross-language retrieval in structured bibliographic databases. Special atte...
163
Voted
FDL
2005
IEEE
16 years 9 days ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
175
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
: The paper presents a novel technique for generating effective vectors for delay defects. The test set achieves high path delay fault coverage to capture smalldistributed delay de...
173
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we propose a class of incentive schemes based on intervention. We develop a general game-theoretic framework for the design of intervention schemes under imperfect m...