4167 search results - page 340 / 834 » Regression model checking |
124
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
140
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...
190
click to vote
ESANN
2006
15 years 6 months ago
2006
Random Forests were introduced by Breiman for feature (variable) selection and improved predictions for decision tree models. The resulting model is often superior to AdaBoost and ...
159
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
167
Voted
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...