2056 search results - page 296 / 412 » Detecting Errors in Spreadsheets |
OSDI
2008
ACM
15 years 10 months ago
2008
ACM
Because writing computer programs is hard, computer programmers are taught to use encapsulation and modularity to hide complexity and reduce the potential for errors. Their progra...
ALT
2007
Springer
15 years 7 months ago
2007
Springer
We consider the problem of learning and verifying hidden graphs and their properties given query access to the graphs. We analyze various queries (edge detection, edge counting, sh...
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Recent studies have shown that machine learning can improve the accuracy of detecting object boundaries in images. In the standard approach, a boundary detector is trained by mini...
ASPLOS
2010
ACM
15 years 5 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—802.11 localization algorithms provide the ability to accurately position and track wireless clients thereby enabling location-based services and applications. However, we show ...