A linear algorithm for MLL proof net correctness and sequentialization.
Stefano GuerriniPublished in: Theor. Comput. Sci. (2011)
Keyphrases
- learning algorithm
- experimental evaluation
- optimal solution
- linear complexity
- matching algorithm
- cost function
- computationally efficient
- computational complexity
- preprocessing
- detection algorithm
- significant improvement
- optimization algorithm
- dynamic programming
- closed form
- improved algorithm
- linear systems
- genetic algorithm
- provably correct
- neural network
- theoretical analysis
- input data
- worst case
- search space
- objective function
- similarity measure
- expectation maximization
- particle swarm optimization
- computational cost
- np hard
- recognition algorithm
- estimation algorithm
- artificial neural networks
- quadratic programming