An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems.
Alain MiniussiRobert StrandhPublished in: APPIA-GULP-PRODE (1997)
Keyphrases
- detection algorithm
- learning algorithm
- objective function
- preprocessing
- dynamic programming
- bi directional
- k means
- search space
- np hard
- segmentation algorithm
- expectation maximization
- probabilistic model
- term rewriting systems
- multi class classification
- key features
- integrity constraints
- simulated annealing
- rough sets
- worst case
- databases
- query language
- artificial intelligence
- genetic algorithm