Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.
Matthieu MartelPublished in: ESOP (2002)
Keyphrases
- precision and recall
- formal semantics
- semantic information
- high precision
- database
- web services
- propagation model
- wave propagation
- finite number
- error analysis
- semantic relationships
- default reasoning
- errors occur
- high recall
- specification language
- semantic representation
- average precision
- estimation error
- prediction error
- conceptual model
- wordnet
- multi agent
- databases