Walking through the Forest: Fast EUF Proof-Checking Algorithms.
Frédéric BessonPierre-Emmanuel CornilleauRonan SaillardPublished in: PxTP (2012)
Keyphrases
- combinatorial optimization
- learning algorithm
- significant improvement
- multi class
- times faster
- theoretical analysis
- computational cost
- objective function
- case study
- computational complexity
- video sequences
- data structure
- genetic algorithm
- optimization problems
- data mining techniques
- computationally efficient
- benchmark datasets
- computationally expensive
- search engine
- recently developed
- convergence rate