Login / Signup
Fast submatch extraction using OBDDs.
Liu Yang
Pratyusa K. Manadhata
William G. Horne
Prasad Rao
Vinod Ganapathy
Published in:
ANCS (2012)
Keyphrases
</>
boolean functions
information extraction
real time
automatically extracting
real world
information retrieval
automatic extraction
web services
model checking
ordered binary decision diagrams
knowledge extraction
temporal logic
special case
preprocessing
learning environment
website
social networks
genetic algorithm