257 search results - page 30 / 52 » Automatic red-eye detection and correction |
TCAD
2008
13 years 7 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
VL
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrec...
SIGCSE
2000
ACM
13 years 12 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
AAAI
2004
13 years 9 months ago
2004
Knowledge-based question-answering systems have become quite competent and robust at answering a wide range of questions in different domains, however in order to ask questions co...