2056 search results - page 225 / 412 » Detecting Errors in Spreadsheets |
205
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, an iterative channel estimation algorithm is considered in LTE systems. A simplified expectation maximization (EM) based algorithm is proposed for channel estimati...
161
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Correctness is a paramount attribute of any microprocessor design; however, without novel technologies to tame the increasing complexity of design verification, the amount of bugs...
152
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors ...
241
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
The goal is to monitor multiple numerical streams, and determine which pairs are correlated with lags, as well as the value of each such lag. Lag correlations (and anticorrelation...
175
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...