Inference of termination conditions for numerical loops
Alexander SerebrenikDanny De SchreyePublished in: CoRR (2001)
Keyphrases
- sufficient conditions
- neural network
- real time
- bayesian networks
- inference process
- data structure
- hidden markov models
- probability distribution
- grammatical inference
- active rules
- numerical analysis
- numerical data
- numerical methods
- belief networks
- partial differential equations
- sensitivity analysis
- expert systems
- three dimensional
- case study
- computer vision
- artificial intelligence
- machine learning
- real world
- data sets