Login / Signup
Program Verification in the presence of complex numbers, functions with branch cuts etc
James H. Davenport
Russell J. Bradford
Matthew England
David J. Wilson
Published in:
CoRR (2012)
Keyphrases
</>
real world
information systems
image processing
high level
artificial neural networks
complex queries
highly complex
elementary functions
data sets
neural network
wide range
video sequences
expert systems
hidden markov models
mobile robot