Eliciting Expertise without Verification.

Yuqing Kong Grant Schoenebeck

Published in: EC (2018)

Keyphrases

expert systems
model checking
formal verification
three dimensional
face verification
verification method
signature verification
concurrent systems
e learning
expert search
subject matter
formal analysis
formal methods
multi attribute
data structure
multiscale
case study