Symbolical Reasoning about Numerical Data: A Hybrid Approach
โ Scribed by Christoph S. Herrmann
- Book ID
- 110260313
- Publisher
- Springer US
- Year
- 1997
- Tongue
- English
- Weight
- 197 KB
- Volume
- 7
- Category
- Article
- ISSN
- 0924-669X
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Three representations of data-parallel array assignmentgeneralized array assignment, FORTRAN 90 array assignment and HPF array assignment-are compared by deriving their axiomatic inference rules. The goals are (i) to identify shortcomings of representations of data-parallel array assignment in exist
A complete approach to reasoning under uncertainty requires support for both identification of the appropriate hypothesis space and ranking hypotheses based on available evidence. We present a hybrid reasoning scheme that combines symbolic and numerical methods for uncertainty management to provide