7393 search results - page 359 / 1479 » Synthesis-for-testability using transformations |
166
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
142
click to vote
DRR
2010
15 years 7 months ago
2010
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...
164
click to vote
VMV
2003
15 years 6 months ago
2003
Automatic segmentation of bony structures in CT angiography datasets is an essential pre-processing step necessary for most visualization and analysis tasks. Since traditional den...
166
click to vote
CIMAGING
2009
15 years 6 months ago
2009
Owing to the stochastic nature of discrete processes such as photon counts in imaging, real-world data measurements often exhibit heteroscedastic behavior. In particular, time ser...
140
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Knowledge compilation [6, 5, 14, 8] consists in transforming a problem offline into a form which is tractable online. In this paper, we introduce new structures, based on the notio...