Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming.
Bartlomiej Jacek KubicaPublished in: Numer. Algorithms (2023)
Keyphrases
- global consistency
- singleton arc consistency
- programming language
- template matching
- consistency checking
- meta level
- disjunctive constraints
- artificial intelligence
- matching algorithm
- convex hull
- programming environment
- object oriented programming
- information retrieval
- neural network
- case study
- object recognition
- programming course
- introductory programming
- meta reasoning
- general purpose
- object oriented