Semantic representation and correspondence for state-based motion transition | IEEE Journals & Magazine | IEEE Xplore