Sciweavers

3406 search results - page 487 / 682
» Modelling situations in intelligent agents
Sort
View
AAAI
2006
15 years 8 months ago
Bayesian Calibration for Monte Carlo Localization
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í...
ATAL
2010
Springer
15 years 7 months ago
Distributed BDD-based BMC for the verification of multi-agent systems
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...
Andrew V. Jones, Alessio Lomuscio
AAAI
2012
13 years 9 months ago
An Object-Based Bayesian Framework for Top-Down Visual Attention
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...
Ali Borji, Dicky N. Sihite, Laurent Itti
EVOW
2009
Springer
16 years 1 months ago
Filterscape: Energy Recycling in a Creative Ecosystem
Abstract. This paper extends previous work in evolutionary ecosystemic approaches to generative art. Filterscape, adopts the implicit fitness specification that is fundamental to...
Alice C. Eldridge, Alan Dorin
IAT
2009
IEEE
16 years 1 months ago
Incorporating Trust into Combinatorial Auctions: What Does Trust Cost?
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 ...