University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 301–330 of 4,639 items
Thumbnail for Holistic Video Stitching for Street Panorama
Holistic Video Stitching for Street Panorama
Zhou, Zihan; Min, Kerui; Ma, Yi

Thumbnail for Rewriting Modulo SMT and Open System Analysis
Rewriting Modulo SMT and Open System Analysis
Rocha, Camilo; Meseguer, José; Cesar Munoz

Thumbnail for A Constructor-Based Reachability Logic for Rewrite Theories
A Constructor-Based Reachability Logic for Rewrite Theories
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José

Thumbnail for SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

Thumbnail for Dynamic Tracking of Information Flow Signatures for Security Checking
Dynamic Tracking of Information Flow Signatures for Security Checking
Healey, William; Pattabiraman, Karthik; Ryoo, Shane; Iyer, Ravi; Hwu, Wen-Mei

Thumbnail for Face Recognition with Contiguous Occlusion Using Markov Random Fields
Face Recognition with Contiguous Occlusion Using Markov Random Fields
Zhou, Zihan; Wagner, Andrew; Wright, John; Mobahi, Hossein; Ma, Yi