A Formal Study of Shot Boundary Detection | IEEE Journals & Magazine | IEEE Xplore