Verifying Safety of Parameterized Heard-Of Algorithms.
Zeinab GanjeiAhmed RezinePetru ElesZebo PengPublished in: NETYS (2020)
Keyphrases
- theoretical analysis
- efficient implementation
- preprocessing
- recently developed
- optimization problems
- np hard
- computational complexity
- learning algorithm
- bayesian networks
- search algorithm
- decision trees
- machine learning
- significant improvement
- information systems
- computational cost
- computer vision
- computationally efficient
- search engine
- machine learning algorithms
- times faster
- artificial intelligence