University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 991–1020 of 19,495 items
Thumbnail for Holistic 3D Reconstruction of Urban Structures from Low-Rank Textures
Holistic 3D Reconstruction of Urban Structures from Low-Rank Textures
Mobahi, Hossein; Zhou, Zihan; Yang, Allen; Ma, Yi

Thumbnail for Evaluating Code Coverage of Assertions by Static Analysis of RTL
Evaluating Code Coverage of Assertions by Static Analysis of RTL
Athavale, Viraj; Hertz, Samuel; Vasudevan, Shobha

Thumbnail for Locally Optimal Reach Set Over-approximation for Nonlinear Systems
Locally Optimal Reach Set Over-approximation for Nonlinear Systems
Fan, Chuchu; Kapinski, James; Jin, Xiaoqing; Mitra, Sayan