C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings.
Sam Blackshear
Shuvendu K. Lahiri
Published in:
PLDI (2013)
Keyphrases
</>
main contribution
high level
semantic information
probabilistic model
database
databases
information systems
feature selection
multi agent
semantic web
context dependent
semantic representation