4276 search results - page 380 / 856 » Techniques for Empirical Validation |
153
Voted
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Post-silicon validation has recently drawn designers' attention due to its increasing impacts on the VLSI design cycle and cost. One key feature of the post-silicon validatio...
173
Voted
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Energy functional minimization is an increasingly popular technique for image segmentation. However, it is far too commonly applied with hand-tuned parameters and initializations t...
171
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
160
Voted
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Spatial patterns of activation statistics within anatomically-defined regions of interest (ROIs) in functional magnetic resonance imaging (fMRI) data were recently shown to be sen...
312
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...