Improved Single Pass Algorithms for Resolution Proof Reduction.
Ashutosh GuptaPublished in: ATVA (2012)
Keyphrases
- single pass
- learning algorithm
- machine learning
- computational efficiency
- computationally efficient
- computational cost
- machine learning algorithms
- recently developed
- data sets
- stream mining
- computational complexity
- bayesian networks
- worst case
- image processing
- benchmark datasets
- social networks
- combinatorial optimization
- highly parallel
- regression forests