Mizar Analysis of Algorithms: Algorithms over Integers.
Grzegorz BancerekPublished in: Formaliz. Math. (2008)
Keyphrases
- computational complexity
- genetic algorithm
- computationally efficient
- databases
- machine learning
- information systems
- website
- orders of magnitude
- efficient implementation
- real time
- recently developed
- times faster
- computer assisted
- computationally expensive
- optimization problems
- worst case
- semi supervised
- knowledge discovery
- computational cost
- data structure
- feature selection
- learning algorithm
- neural network