University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1231–1260 of 4,255 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 Modeling Hidden Topics on Document Manifold
Modeling Hidden Topics on Document Manifold
Cai, Deng; Mei, Qiaozhu; He, Xiaofei; Han, Jiawei