2024 search results - page 103 / 405 » A Formal Model of Multi-agent Computations |
125
Voted
IEAAIE
2009
Springer
15 years 10 months ago
2009
Springer
A computational agent model for monitoring and control of a virtual human agent’s resources and exhaustion is presented. It models a physically grounded intelligent decision maki...
160
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
128
Voted
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Prior distributions are useful for robust low-level vision, and undirected models (e.g. Markov Random Fields) have become a central tool for this purpose. Though sometimes these p...
146
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
165
Voted
SIGIR
2012
ACM
13 years 6 months ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...