Efficient Instantiation Techniques in SMT (Work In Progress).

Published in: PAAR@IJCAR (2016)

Keyphrases

data sets
multimedia
hidden markov models
computationally efficient
database
databases
real world
information systems
e learning
database systems
relational databases
special case
lightweight