Sign in
Facts Collection and Verification Efforts.
Rizwan Mehmood
Hermann A. Maurer
Published in:
DATA (2015)
Keyphrases
</>
knowledge base
model checking
database
asynchronous circuits
document collections
real world
formal verification
expert systems
special case
verification method
background knowledge
case based reasoning
objective function
website
social networks
data mining
neural network
real time