Login / Signup
Automated Proof Reading of Clinical Notes.
Jon David Patrick
Dung Nguyen
Published in:
PACLIC (2011)
Keyphrases
</>
automated theorem provers
semi automated
theorem prover
computer aided
automated analysis
machine learning
website
multiscale
database systems
theorem proving
fully automated
data structure
real time
information systems
computer vision
artificial intelligence
real world
neural network
databases