University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 511–540 of 34,156 items
Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties
Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties
Sobeih, Ahmed A.; d'Amorim, Marcelo; Viswanathan, Mahesh; Marinov, Darko; Hou, Jennifer C.

Thumbnail for Quadric-Based Simplification in Any Dimension
Quadric-Based Simplification in Any Dimension
Garland, Michael; Zhou, YuanYuan

Thumbnail for A Structure-Driven Yield-Aware Web Form Crawler: Building a Database of Online Databases
A Structure-Driven Yield-Aware Web Form Crawler: Building a Database of Online Databases
He, Bin; Li, Chengkai; Killian, David; Patel, Mitesh; Tseng, Yuping; Chang, Kevin Chen-Chuan

Thumbnail for Effects of Intelligent Notification Scheduling
Effects of Intelligent Notification Scheduling
Iqbal, Shamsi T.; Bailey, Brian P.

Thumbnail for Motion Planning for Highly Constrained Spaces
Motion Planning for Highly Constrained Spaces
Yershova, Anna; LaValle, Steven M.

Thumbnail for Approximate Quantile Computation over Sensor Networks
Approximate Quantile Computation over Sensor Networks
Yan, Xifeng; Yang, Jiong; Wang, Wei; Han, Jiawei

Thumbnail for What is a Multi-Modeling Language?
What is a Multi-Modeling Language?
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin

Thumbnail for Machine assisted browsing for the naive user
Machine assisted browsing for the naive user
Fox, Mark S.; Palay, Andrew J.

Thumbnail for Variant Narrowing and Equational Unification
Variant Narrowing and Equational Unification
Escobar, Santiago; Meseguer, José; Sasse, Ralf