C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifying Search Results Over Web Collections
Michael T. Goodrich
Duy Nguyen
Olga Ohrimenko
Charalampos Papamanthou
Roberto Tamassia
Nikos Triandopoulos
Cristina Videira Lopes
Published in:
CoRR (2012)
Keyphrases
</>
model checking
artificial intelligence
fine grained
data model
open source
machine learning
relational databases
life cycle