346 search results - page 57 / 70 » Automatic Tools for Testing Expert Systems |
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
Information Extraction (IE) — the problem of extracting structured information from unstructured text — has become the key enabler for many enterprise applications such as sem...
SIBGRAPI
2006
IEEE
14 years 1 months ago
2006
IEEE
Recent statistics show that breast cancer is a major cause of death among women in all of the world. Hence, early diagnostic with Computer Aided Diagnosis (CAD) systems is a very ...
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
Hardware devices can fail, but many drivers assume they do not. When confronted with real devices that misbehave, these assumptions can lead to driver or system failures. While ma...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
SAT
2009
Springer
14 years 2 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...