Sketch Grammars: a formalism for describing and recognizing diagrammatic sketch languages | IEEE Conference Publication | IEEE Xplore