We present a model-based system for tracking rotating fluids, and apply it to a laboratory study of atmospheric circulation. Tracking is accomplished by filtering uncertain and hi...
Sai Ravela, John Marshall, Christopher Hill, Andre...
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
The bag-of-words representation has attracted a lot of attention recently in the field of object recognition. Based on the bag-of-words representation, topic models such as Probab...
In this paper we present a computational view of an automatic summary generator based on a discourse model that combines semantic, rhetorical and intentional knowledge in order to...
Thiago Alexandre Salgueiro Pardo, Lucia Helena Mac...
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...