Generation and Verification of Algorithms for Symbolic-Numeric Processing.
Ladislav KocbachRichard LiskaPublished in: J. Symb. Comput. (1998)
Keyphrases
- orders of magnitude
- computational complexity
- real time
- computational efficiency
- learning algorithm
- data structure
- significant improvement
- computational cost
- recently developed
- information processing
- markov random field
- generation process
- graph theory
- combinatorial optimization
- classification algorithm
- theoretical analysis
- semi supervised
- feature selection
- real world