13987 search results - page 423 / 2798 » The Two Guards Problem |
161
click to vote
ATAL
2005
Springer
16 years 14 days ago
2005
Springer
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...
175
click to vote
SAT
2005
Springer
16 years 12 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
162
Voted
ADBIS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. One of the fundamental problems in relational database management is the handling of the join operation. Two of the problems are: 1) finding a page access sequence which...
187
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract. The incremental and dynamic construction of interconnection networks from smaller components often leaves the fundamental problem of assigning addresses to processors to ...
200
click to vote
LCPC
1997
Springer
15 years 11 months ago
1997
Springer
The data distribution problem is very complex, because it involves trade-offdecisions between minimizing communication and maximizing parallelism. A common approach towards solving...