4397 search results - page 868 / 880 » Relational Algebra Operations |
120
Voted
MICS
2010
15 years 28 days ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
175
Voted
OOPSLA
2010
Springer
15 years 27 days ago
2010
Springer
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores...
112
click to vote
ORGSCI
2010
15 years 27 days ago
2010
A growing body of research in management and related public policy fields concludes that the 1980s and 1990s saw greater dynamic competition throughout technology−intensive (“...
112
click to vote
PVLDB
2010
15 years 27 days ago
2010
In recent years, there has been considerable research on information extraction and constructing RDF knowledge bases. In general, the goal is to extract all relevant information f...
164
Voted
BIOINFORMATICS
2010
15 years 25 days ago
2010
Motivation: Peaks are the key information in Mass Spectrometry (MS) which has been increasingly used to discover diseases related proteomic patterns. Peak detection is an essentia...