C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Checking roundoff errors using counterexample-guided narrowing.
Do Thi Bich Ngoc
Mizuhito Ogawa
Published in:
ASE (2010)
Keyphrases
</>
model checking
neural network
error analysis
computer vision
image processing
estimation error
formal verification
errors occur