Login / Signup
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution).
Truc L. Nguyen
Bernd Fischer
Salvatore La Torre
Gennaro Parlato
Published in:
TACAS (2015)
Keyphrases
</>
averaged one dependence estimators
computer programs
lazy learning
multiply sectioned bayesian networks
database
neural network
information retrieval
web services
clustering algorithm
bayesian networks
multiscale
context aware
contextual information
conceptual model