3742 search results - page 134 / 749 » On the Use of Formal Techniques for Validation |
151
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
158
click to vote
IH
2001
Springer
15 years 10 months ago
2001
Springer
Computational forensic engineering (CFE) aims to identify the entity that created a particular intellectual property (IP). Rather than relying on watermarking content or designs, t...
183
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Gene selection is an important step when building predictors of disease state based on gene expression data. Gene selection generally improves performance and identifi...
174
click to vote
PR
2008
15 years 6 months ago
2008
The error correcting output codes (ECOC) technique is a useful way to extend any binary classifier to the multiclass case. The design of an ECOC matrix usually considers an a prio...
157
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...