6941 search results - page 490 / 1389 » Testing as a Certification Approach |
218
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
171
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
202
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
211
click to vote
ICANNGA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The use of support vector machines for multi-category problems is still an open field to research. Most of the published works use the one-against-rest strategy, but with...
196
click to vote
ICANN
2009
Springer
2009
Springer
Profiling of Mass Spectrometry Data for Ovarian Cancer Detection Using Negative Correlation Learning
15 years 10 months ago
This paper proposes a novel Mass Spectrometry data profiling method for ovarian cancer detection based on negative correlation learning (NCL). A modified Smoothed Nonlinear Energy ...