840 search results - page 46 / 168 » Open multi-methods for c |
CADE
1997
Springer
15 years 5 months ago
1997
Springer
In this paper we study the completeness of resolution when it is restricted by a non-liftable order and by weak subsumption. A non-liftable order is an order that does not satisfy...
124
click to vote
NAR
2002
2002
The Protein Information Resource: an integrated public resource of functional annotation of proteins
15 years 1 months ago
The Protein Information Resource (PIR) serves as an integrated public resource of functional annotation of protein data to support genomic/proteomic research and scientific discov...
105
click to vote
ICECCS
2002
IEEE
15 years 7 months ago
2002
IEEE
A commonly held belief is that applications written ina object-oriented languages are more modular than those written in procedural languages. This paper presents results from an ...
120
click to vote
ALGORITHMICA
2007
15 years 2 months ago
2007
A 0-1 matrix has the Consecutive Ones Property (C1P) if there is a permutation of its columns that leaves the 1’s consecutive in each row. The Consecutive Ones Submatrix (C1S) p...
145
click to vote
IPCO
2008
15 years 3 months ago
2008
Recent advances on the understanding of valid inequalities from the infinite group relaxation has opened the possibility of finding a computationally effective extension to GMI cu...