A Synergy Between Machine Learning and Formal Concept Analysis for Crowd Detection | IEEE Journals & Magazine | IEEE Xplore