Abstract: We demonstrate MITra, a system for synthesizing Multi-Instance graph Traversal algorithms that traverse from multiple source vertices simultaneously over a single thread. Underlying MITra is ...
Exploring solar system entities with templates, sensors, and automation relationships ...
Abstract: Multivariate data contain an abundance of information and many techniques have been proposed to allow humans to navigate this information in an ordered fashion. For this work, we focus on ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results