Formalization of opportunistic switching for context-adaptive vision systems | IEEE Conference Publication | IEEE Xplore