461 search results - page 23 / 93 » Splitting NP-Complete Sets |
LICS
1991
IEEE
14 years 2 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
BMCBI
2008
13 years 11 months ago
2008
Background: This paper describes techniques for accelerating the performance of the string set matching problem with particular emphasis on applications in computational proteomic...
TIME
2008
IEEE
14 years 5 months ago
2008
IEEE
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
ICPR
2004
IEEE
15 years 22 hour ago
2004
IEEE
: A new method is presented to learn object categories from unlabeled and unsegmented images for generic object recognition. We assume that each object can be characterized by a se...
ICPADS
2008
IEEE
14 years 5 months ago
2008
IEEE
Peer-to-Peer systems have become a substantial element in computer networking. Distributing the load and splitting complex tasks are only some reasons why many developers have com...