Human computation for procedural content generation in platform games | IEEE Conference Publication | IEEE Xplore