1534 search results - page 97 / 307 » Error Reporting Logic |
141
click to vote
JIPS
2010
14 years 5 months ago
2010
Classical warranty plans require crisp data obtained from strictly controlled reliability tests. However, in a real situation these requirements might not be fulfilled. In an extre...
100
click to vote
CADE
2012
Springer
13 years 17 days ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
COMCOM
2006
14 years 10 months ago
2006
In this paper, we propose and evaluate a distributed, energy-efficient, light-weight framework for target localization and tracking in wireless sensor networks. Since radio commun...
ICCAD
2006
IEEE
15 years 7 months ago
2006
IEEE
Ignoring the effect of simultaneous switching for logic gates causes silicon failures for high performance microprocessor designs. The main reason to omit this effect is the run...
EUSFLAT
2009
14 years 8 months ago
2009
Previously we proposed a scheme to generate fuzzy rule-based multiclassification systems by means of bagging, mutual information-based feature selection, and a multicriteria geneti...