Thematic Section: Logic/Languages, Algorithms, Novel Methods of Reasoning.
Claudia Zepeda CortésJosé Luis Carballido CarranzaJosé Raymundo Marcial-RomeroEverardo BárcenasPublished in: Computación y Sistemas (2022)
Keyphrases
- significant improvement
- methods outperform
- benchmark datasets
- computational cost
- machine learning algorithms
- synthetic and real datasets
- data mining techniques
- optimization methods
- machine learning methods
- methods require
- computationally intensive
- computationally expensive
- computer vision algorithms
- search methods
- automated reasoning
- high computational complexity
- theoretical guarantees
- computationally demanding
- heuristic methods
- statistical methods
- computational complexity
- data structure
- machine learning
- problems in computer vision
- logical framework
- logic programming
- optimization problems
- search algorithm