Verification and validation with ripple-down rules.
Byeong Ho KangWindy GambettaPaul ComptonPublished in: Int. J. Hum. Comput. Stud. (1996)
Keyphrases
- ripple down rules
- knowledge acquisition
- inductive learning
- model checking
- knowledge base
- incremental knowledge acquisition
- face verification
- data sets
- data structure
- computer vision
- learning algorithm
- signature verification
- formal verification
- website
- decision trees
- information systems
- asynchronous circuits
- high security
- real time