16091 search results - page 301 / 3219 » Solving |
182
click to vote
IAT
2005
IEEE
16 years 6 days ago
2005
IEEE
Whenever independent, non-cooperative actors jointly have to solve a complex task, they need to coordinate their efforts. Typical examples of such task coordination problems are s...
172
click to vote
HVC
2005
Springer
16 years 4 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
180
click to vote
IPSN
2005
Springer
16 years 3 days ago
2005
Springer
— Many inference problems that arise in sensor networks require the computation of a global conclusion that is consistent with local information known to each node. A large class...
165
click to vote
SIGCSE
2004
ACM
16 years 1 days ago
2004
ACM
Multiagent systems is an attractive problem solving approach that is becoming ever more feasible and popular in today’s world. It combines artificial intelligence (AI) and distr...
170
click to vote
SIGITE
2004
ACM
16 years 1 days ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...