Sciweavers

2056 search results - page 323 / 412
» Detecting Errors in Spreadsheets
Sort
View
CHI
2003
ACM
15 years 10 months ago
Harnessing curiosity to increase correctness in end-user programming
Despite their ability to help with program correctness, assertions have been notoriously unpopular--even with professional programmers. End-user programmers seem even less likely ...
Aaron Wilson, Margaret M. Burnett, Laura Beckwith,...
POPL
2005
ACM
15 years 10 months ago
Formal prototyping in early stages of protocol design
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr
ICDE
2010
IEEE
292views Database» more  ICDE 2010»
15 years 9 months ago
Usher: Improving Data Quality With Dynamic Forms
Data quality is a critical problem in modern databases. Data entry forms present the first and arguably best opportunity for detecting and mitigating errors, but there has been li...
Kuang Chen, Harr Chen, Neil Conway, Joseph M. Hell...
DCC
2002
IEEE
15 years 9 months ago
Iterated Denoising for Image Recovery
In this paper we propose an algorithm for image recovery where completely lost blocks in an image/video-frame are recovered using spatial information surrounding these blocks. Our...
Onur G. Guleryuz
CVPR
2010
IEEE
15 years 6 months ago
Visual Object Tracking using Adaptive Correlation Filters
Although not commonly used, correlation filters can track complex objects through rotations, occlusions and other distractions at over 20 times the rate of current state-ofthe-ar...
David Bolme, J Ross Beveridge, Bruce Draper, Yui M...