21108 search results - page 3923 / 4222 » A General Class of Models of |
131
click to vote
PDP
2007
IEEE
16 years 12 days ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
166
click to vote
TPHOL
2007
IEEE
16 years 11 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
177
Voted
APPROX
2007
Springer
16 years 9 days ago
2007
Springer
Abstract Consider a situation where a group of agents wishes to share the costs of their joint actions, and needs to determine how to distribute the costs amongst themselves in a f...
155
click to vote
ATAL
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
185
click to vote
ATAL
2007
Springer
16 years 9 days ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...