9532 search results - page 1667 / 1907 » Logic, Graphs, and Algorithms |
176
click to vote
PODC
2006
ACM
16 years 16 days ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...
179
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we present a genetic algorithm-based approach towards designing self-assembling objects comprised of square smart blocks. Each edge of each block can have one of thr...
171
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
NASA’s satellites currently do not make use of advanced image compression techniques during data transmission to earth because of limitations in the available platforms. With th...
166
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract— Knowledge of the up-to-date physical topology of an IP network is crucial to a number of critical network management tasks, including reactive and proactive resource ma...
172
click to vote
STOC
1999
ACM
15 years 11 months ago
1999
ACM
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (ϭsize), in both g...