University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4621–4650 of 6,680 items
Thumbnail for Trajectory Clustering: A Partition-and-Group Framework
Trajectory Clustering: A Partition-and-Group Framework
Lee, Jae-Gil; Han, Jiawei; Whang, Kyu-Young

Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage   Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen