Localization is a fundamental challenge for autonomous robotics. Although accurate and efficient techniques now exist for solving this problem, they require explicit probabilistic...
Armita Kaboli, Michael H. Bowling, Petr Musí...
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
We introduce a new task-independent framework to model top-down overt visual attention based on graphical models for probabilistic inference and reasoning. We describe a Dynamic B...
Abstract. This paper extends previous work in evolutionary ecosystemic approaches to generative art. Filterscape, adopts the implicit fitness specification that is fundamental to...
As the use of automated negotiations becomes more mainstream, one key attribute that needs to be incorporated is a measure of a seller’s trust or reliability. In this paper, we ...
Guruprasad Airy, Po-Chun Chen, Tracy Mullen, John ...