Login / Signup
A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions.
Daniel Berleant
Hang Cheng
Published in:
Reliab. Comput. (1998)
Keyphrases
</>
probability distribution
random variables
automatically generated
data sets
neural network
image segmentation
wide range
multiresolution
user defined
semi automatically