10568 search results - page 1705 / 2114 » Computer Intelligence and Formalization |
133
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
We show that reputation is a basic ingredient in the Virtual Organisation (VO) formation process. Agents can use their experiences gained in direct past interactions to model other...
132
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The complexity associated to Humanitarian Demining becomes very high due to its broad set of activities, which beyond the already complex of landmine removal, includes ot...
144
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
116
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The availability of commodity multiprocessors offers significant opportunities for addressing the increasing computational requirements of optimization applications. To...
142
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...