4541 search results - page 224 / 909 » Cache-Oblivious Algorithms and Data Structures |
132
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Protein function is often dependent on subsets of solvent-exposed residues that may exist in a similar three-dimensional configuration in non homologous proteins thus ...
132
Voted
AAAI
2000
15 years 4 months ago
2000
Combinatorial auctions can be used to reach efficient resource and task allocations in multiagent systems where the items are complementary. Determining the winners is NP-complete...
130
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Structured data and complex schemas are becoming the main way to represent the information many Digital Libraries provide, thus impacting the services they offer. When searching i...
137
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: It has become increasingly apparent that a comprehensive database of RNA motifs is essential in order to achieve new goals in genomic and proteomic research. Secondary...
175
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...