Login / Signup
Symbolic Abstract Contract Synthesis in a Rewriting Framework.
María Alpuente
Daniel Pardo
Alicia Villanueva
Published in:
CoRR (2016)
Keyphrases
</>
real time
face recognition
higher level
neural network
artificial intelligence
social networks
e learning
high level
relational databases
probabilistic model
main contribution
computational model
conceptual framework