A Certified Functional Nominal C-Unification Algorithm.
Mauricio Ayala-RincónMaribel FernándezGabriel Ferreira SilvaDaniele Nantes-SobrinhoPublished in: LOPSTR (2019)
Keyphrases
- learning algorithm
- improved algorithm
- experimental evaluation
- times faster
- preprocessing
- cost function
- dynamic programming
- high accuracy
- single pass
- worst case
- np hard
- computational cost
- computational complexity
- memory requirements
- optimization algorithm
- clustering method
- experimental study
- objective function
- matching algorithm
- data sets
- estimation algorithm
- hardware implementation
- feature selection
- selection algorithm
- energy function
- segmentation algorithm
- theoretical analysis
- expectation maximization
- linear programming
- support vector
- search space