666 search results - page 99 / 134 » When Similar Problems Don't Have Similar Solutions |
DMKD
2004
ACM
14 years 1 months ago
2004
ACM
Cluster analysis is a common approach to pattern discovery in spatial databases. While many clustering techniques have been developed, it is still challenging to discover implicit...
PODC
1996
ACM
13 years 12 months ago
1996
ACM
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
EUROPAR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Modern microprocessors have sacrificed the exactness of exceptions for improved performance long ago. This is a side effect of reordering instructions so that the micropr...
VAMOS
2010
Springer
13 years 9 months ago
2010
Springer
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...