Pattern-Based Specification of Crowdsourcing Applications.

Alessandro Bozzon Marco Brambilla Stefano Ceri Andrea Mauri Riccardo Volonterio

Published in: ICWE (2014)

Keyphrases

high level
formal specification
database
neural network
machine learning
artificial intelligence
computer vision
image processing
human computation
reactive systems
provably correct
ims qti