2056 search results - page 129 / 412 » Detecting Errors in Spreadsheets |
117
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
130
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper addresses selecting between candidate pronunciations for out-of-vocabulary words in speech processing tasks. We introduce a simple, unsupervised method that outperforms...
101
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
161
click to vote
AAAI
2006
15 years 5 months ago
2006
For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such pro...
136
click to vote
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...