DKL: an efficient algorithm for learning deterministic Kripke structures.
Rabia MazharMuddassar Azam SindhuPublished in: Acta Informatica (2021)
Keyphrases
- learning algorithm
- dynamic programming
- times faster
- objective function
- cost function
- preprocessing
- computationally efficient
- incremental learning
- learning process
- search space
- learning speed
- worst case
- optimal solution
- image segmentation
- prior knowledge
- detection algorithm
- high accuracy
- experimental evaluation
- optimization algorithm
- k means
- learning phase
- computational complexity
- deterministic finite automata
- recognition algorithm
- convergence rate
- learning problems
- computational cost
- learning rules
- tree structure
- theoretical analysis
- online learning
- linear programming
- supervised learning
- neural network
- np hard
- active learning
- association rules
- feature space
- data structure
- machine learning