2056 search results - page 260 / 412 » Detecting Errors in Spreadsheets |
161
click to vote
ACSC
2004
IEEE
15 years 9 months ago
2004
IEEE
Lossless image compression techniques typically consider images to be a sequence of pixels in row major order. The processing of each pixel consists of two separate operations. Th...
167
click to vote
ADG
2006
Springer
15 years 9 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
146
click to vote
COMPSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
162
click to vote
DCOSS
2006
Springer
15 years 9 months ago
2006
Springer
The paper studies the optimal placement of multiple cameras and the selection of the best subset of cameras for single target localization in the framework of sensor networks. The ...
154
click to vote
DRR
2010
15 years 8 months ago
2010
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...