Trusted Sampling-Based Result Verification on Mass Data Processing.

Yan Ding Huaimin Wang Peichang Shi Hongyi Fu Changguo Guo Muhua Zhang

Published in: SOSE (2013)

Keyphrases

data processing
model checking
neural network
genetic algorithm
artificial intelligence
information systems
case study
multiscale
query processing
monte carlo
face verification
signature verification
formal verification
formal proof