Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic.
George F. CorlissJun YuPublished in: Numerical Software with Result Verification (2003)
Keyphrases
- expert systems
- theoretical analysis
- formal model
- sensitivity analysis
- statistical model
- mathematical model
- computational model
- theoretical framework
- interval analysis
- real time
- prediction model
- hierarchical structure
- experimental data
- sufficient conditions
- probabilistic model
- cost function
- image sequences
- high level
- decision making
- social networks
- genetic algorithm