A formal proof of the ε-optimality of absorbing continuous pursuit algorithms using the theory of regular functions.
Xuan ZhangOle-Christoffer GranmoB. John OommenLei JiaoPublished in: Appl. Intell. (2014)
Keyphrases
- formal proof
- computational complexity
- recently developed
- data structure
- computationally expensive
- significant improvement
- optimization problems
- continuous domains
- machine learning algorithms
- mathematical foundations
- linear algebra
- theorem prover
- convergence rate
- database
- theoretical analysis
- computationally efficient
- learning algorithm
- data sets