1110 search results - page 183 / 222 » New Approximation Results for Resource Replication Problems |
LICS
2002
IEEE
15 years 3 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
102
click to vote
SIGMETRICS
2010
ACM
14 years 11 months ago
2010
ACM
Sharing content over a mobile network through opportunistic contacts has recently received considerable attention. In proposed scenarios, users store content they download in a lo...
92
Voted
GECCO
2003
Springer
15 years 4 months ago
2003
Springer
The performance of genetic programming relies mostly on population-contained variation. If the population diversity is low then there will be a greater chance of the algorithm bein...
184
Voted
ICDE
2007
IEEE
16 years 5 days ago
2007
IEEE
In spite of the great progress in the data mining field in recent years, the problem of missing and uncertain data has remained a great challenge for data mining algorithms. Many ...
101
click to vote
INFORMS
1998
14 years 10 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...