Login / Signup
How to Compute the Area of a Triangle: A Formal Revisit.
Sylvie Boldo
Published in:
IEEE Symposium on Computer Arithmetic (2013)
Keyphrases
</>
genetic algorithm
image processing
bayesian networks
trade off
computer vision
multiscale
object recognition
wireless sensor networks
management system
formal representation