Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis.
Sam SandersPublished in: DCM (2012)
Keyphrases
- mathematical model
- classification algorithm
- probabilistic model
- cost function
- learning algorithm
- algorithm employs
- algorithm has been developed
- theoretical analysis
- experimental evaluation
- preprocessing
- objective function
- estimation algorithm
- dynamic programming
- recognition algorithm
- mathematical analysis
- em algorithm
- optimization algorithm
- optimization model
- final result
- selection algorithm
- kalman filter
- energy function
- parameter estimation
- optimal solution
- expectation maximization
- similarity measure
- prior information
- computational cost
- np hard
- significant improvement
- detection algorithm
- computational model
- high accuracy
- multiple models
- bayesian framework
- data structure
- genetic algorithm
- reconstruction method
- image segmentation
- linear model
- back propagation
- simulated annealing
- worst case
- probability distribution
- evolutionary algorithm