A Formalisation of Nominal C-Matching through Unification with Protected Variables.
Mauricio Ayala-RincónWashington de Carvalho SegundoMaribel FernándezDaniele Nantes-SobrinhoPublished in: LSFA (2018)
Keyphrases
- image matching
- relevant variables
- matching algorithm
- pattern matching
- higher order
- graph matching
- matching process
- theorem proving
- function symbols
- formal analysis
- database
- feature matching
- real time
- artificial neural networks
- approximate matching
- causal models
- shape matching
- learning algorithm
- web services
- logic programming
- feature points