Assertion-Based Reasoning Method for Calculus of Wireless System.
Luyao WangWanling XieHuibiao ZhuPublished in: Models, Algorithms, Logics and Tools (2017)
Keyphrases
- clustering method
- significant improvement
- main contribution
- high accuracy
- detection method
- computational complexity
- mutual information
- experimental evaluation
- support vector machine
- evaluation method
- fully automatic
- high precision
- synthetic data
- theoretical analysis
- pairwise
- preprocessing
- objective function
- computational cost
- dynamic programming
- mobile devices
- artificial neural networks
- support vector machine svm
- support vector
- wireless networks
- classification method
- training data
- knowledge base
- optimization method
- genetic algorithm