Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
We present a technique for learning clothing models that enables the simultaneous animation of thousands of detailed garments in real-time. This surprisingly simple conditional mo...
Edilson de Aguiar, Leonid Sigal, Adrien Treuille, ...
Given a large sparse graph, how can we find patterns and anomalies? Several important applications can be modeled as large sparse graphs, e.g., network traffic monitoring, resea...
—In this paper we present an analytical approach to evaluate the M-QAM symbol error rate (SER) of Alamouti space time coded OFDM direct conversion receivers subject to carrier fr...
One of the original goals of computer vision was to fully understand a natural scene. This requires solving several sub-problems simultaneously, including object detection, region...
Geremy Heitz, Stephen Gould, Ashutosh Saxena, Daph...