16430 search results - page 791 / 3286 » On Computable Tree Functions |
203
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...
197
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
176
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Peptidases are proteolytic enzymes responsible for fundamental cellular activities in all organisms. Apparently about 2–5% of the genes encode for peptidases, irresp...
348
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
Due to its considerable ease of use, relational keyword search (R-KWS) has become increasingly popular. Its simplicity, however, comes at the cost of intensive query processing. Sp...
185
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
This paper presents an automatic video genre categorization scheme based on the hierarchical ontology on video genres. Ten computable spatio-temporal features are extracted to dis...