916 search results - page 117 / 184 » Using redundancies to find errors |
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
WISES
2008
14 years 11 months ago
2008
A configuration with heterogeneous sensors using different measurement approaches most likely overcome the problem of correlated measurement errors as they occur when employing a ...
ECEASST
2008
14 years 9 months ago
2008
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...
KES
2008
Springer
14 years 9 months ago
2008
Springer
Fuzzy cognitive map is an approach to knowledge representation and inference; it emphasizes the connections of concepts as basic units for storing knowledge, and the structure that...
BMCBI
2005
14 years 9 months ago
2005
The current methods of publishing chemical information in bioscience articles are analysed. Using 3 papers as use-cases, it is shown that conventional methods using human procedur...