17018 search results - page 3077 / 3404 » From the How to the What |
183
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...
170
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...
170
click to vote
WACC
1999
ACM
15 years 11 months ago
1999
ACM
Electronic conversations often seem less polite than spoken conversations. The usual explanation for this is that people who are not physically copresent become depersonalized and...
222
click to vote
WACC
1999
ACM
15 years 11 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...
190
click to vote
ECAL
1999
Springer
15 years 11 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...