13376 search results - page 16 / 2676 » Problem Solving with |
126
Voted
ML
1998
ACM
15 years 10 days ago
1998
ACM
Abstract. Coordination is an essential technique in cooperative, distributed multiagent systems. However, sophisticated coordination strategies are not always cost-effective in all...
110
Voted
ECAI
2006
Springer
15 years 2 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
98
Voted
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
We construct parallel algorithms with implementations to solve the clique problem in practice and research their computing time compared with sequential algorithms. The parallel a...
122
click to vote
CEEMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
90
Voted
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...