1534 search results - page 184 / 307 » Error Reporting Logic |
121
Voted
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
102
click to vote
CLEAR
2007
Springer
15 years 7 months ago
2007
Springer
We describe the latest version of the SRI-ICSI meeting and lecture recognition system, as was used in the NIST RT-07 evaluations, highlighting improvements made over the last year....
ISSAC
2007
Springer
15 years 7 months ago
2007
Springer
Given a lattice basis of n vectors in Zn, we propose an algorithm using 12n3 + O(n2) floating point operations for checking whether the basis is LLL-reduced. If the basis is redu...
ISSAC
2007
Springer
15 years 7 months ago
2007
Springer
Consider a rational matrix, particularly one whose entries have large numerators and denominators, but which is presented as a product of very sparse matrices with relatively smal...
138
click to vote
TAP
2007
Springer
15 years 7 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...