Generating Algorithms plus Loop Invariants by Formal Derivation.
Haihe ShiDawei DuJinyun XuePublished in: ACIS-ICIS (2008)
Keyphrases
- optimization problems
- graph theory
- artificial intelligence
- computationally efficient
- times faster
- neural network
- computational efficiency
- data mining algorithms
- mathematical foundations
- highly efficient
- efficient implementation
- recently developed
- computationally expensive
- image reconstruction
- orders of magnitude
- theoretical analysis
- pattern recognition
- reinforcement learning
- computer vision
- data mining