520 search results - page 2 / 104 » Implementing a Generalized Version of Resolution |
COCO
2003
Springer
15 years 3 months ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
INFORMATICALT
1998
14 years 9 months ago
1998
This paper presents a parallel version of a Generalized Conjugate Gradient algorithm proposed by Liu and Story in which the search direction considers the effect of the inexact lin...
SSD
2009
Springer
15 years 4 months ago
2009
Springer
The standard database mechanisms for concurrency control, which include transactions and locking protocols, do not provide the support needed for updating complex geographic data i...
CODAS
1996
14 years 11 months ago
1996
ntic abstractions classification, aggregation and generalization are extremely useful for modeling complex situations containing time-independent events. This paper shows that the...
IJCAI
2001
14 years 11 months ago
2001
A tight integration of Mitchell's version space algorithm with Agrawal et al.'s Apriori algorithm is presented. The algorithm can be used to generate patterns that satis...