Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
: We consider a game played between a hider, who hides a static object in one of several possible positions in a bounded planar region, and a searcher who wishes to reach the objec...
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
—We present a novel approach to direct and control virtual crowds using navigation fields. Our method guides one or more agents towards desired goals based on guidance fields. ...
Sachin Patil, Jur P. van den Berg, Sean Curtis, Mi...
Aspects of speech and non-verbal behavior allow conversational partners to establish and maintain rapport by signaling engagement or endorsement. In the verbal channel, these fact...