Approximations, anomalies and "the proof of correctness wars".
Leona F. FassPublished in: ACM SIGSOFT Softw. Eng. Notes (2004)
Keyphrases
- anomaly detection
- provably correct
- theorem proving
- expert systems
- theorem prover
- root cause
- detecting anomalies
- geometry theorem proving
- data sets
- mathematical proofs
- proof planning
- natural deduction
- linear logic
- approximation methods
- efficient computation
- unsupervised learning
- case study
- computer vision
- search engine
- artificial intelligence
- information retrieval