Login / Signup
Model-Based Verification of a Non-Linear Separation Scheme for Ballistocardiography.
Yu Yao
Christoph Brüser
Uwe Pietrzyk
Steffen Leonhardt
Stefan van Waasen
Michael Schiek
Published in:
IEEE J. Biomed. Health Informatics (2014)
Keyphrases
</>
data driven
database
model checking
high security
detection scheme
machine learning
data sets
artificial intelligence
computer vision
evolutionary algorithm
neural network
classification scheme
learning scheme
databases
formal verification
recognition scheme
asynchronous circuits