Brzozowski's and Up-To Algorithms for Must Testing.
Filippo BonchiGeorgiana CaltaisDamien PousAlexandra SilvaPublished in: APLAS (2013)
Keyphrases
- optimization problems
- computationally efficient
- graph theory
- learning algorithm
- orders of magnitude
- benchmark datasets
- machine learning algorithms
- worst case
- multi class
- computational cost
- significant improvement
- search algorithm
- data structure
- case study
- computer vision
- data mining algorithms
- computationally expensive
- times faster
- efficient implementation
- black box
- artificial intelligence