The Varro toolkit is a system for identifying and counting a major class of regularity in treebanks and annotated natural language data in the form of treestructures: frequently r...
In many settings the power of truthful mechanisms is severely bounded. In this paper we use randomization to overcome this problem. In particular, we construct an FPTAS for multi-...
In this paper we present a framework for rapid prototyping of airplane designs as an example of the benefits of integrating simulation, gaming, and design interfaces into a cohesi...