1322 search results - page 159 / 265 » Parameterized counting problems |
VLDB
1995
ACM
14 years 1 months ago
1995
ACM
In this paper we introduce generalized projections (GPs), an extension of duplicateeliminating projections, that capture aggregations, groupbys, duplicate-eliminating projections ...
CIKM
2008
Springer
14 years 8 days ago
2008
Springer
Answering queries over ontologies is an important issue for the Semantic Web. Aggregate queries were widely studied for relational databases but almost no results are known for ag...
CSL
2008
Springer
14 years 2 days ago
2008
Springer
We study the problem of proving in weak theories of Bounded Arithmetic the theorem that there are arbitrarily large prime numbers. We show that the theorem can be proved by some &...
EUC
2008
Springer
14 years 1 days ago
2008
Springer
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
MVA
2007
13 years 11 months ago
2007
Counting cells and following the evolution of the biological layers are important applications in microscopic imagery. In this paper, a microscopic image segmentation method with ...