University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 361–390 of 1,206 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Graph-based Classification on Heterogeneous Information Networks
Graph-based Classification on Heterogeneous Information Networks
Ji, Ming; Sun, Yizhou; Danilevsky, Marina; Han, Jiawei

Thumbnail for Parallelization of Fast 𝓁1-Minimization for Face Recognition
Parallelization of Fast 𝓁1-Minimization for Face Recognition
Wagner, Andrew; Shia, Victor; Yang, Allen; Murphy, Mark; Ma, Yi