1236 search results - page 40 / 248 » Prefix-Like Complexities and Computability in the Limit |
STOC
2002
ACM
15 years 10 months ago
2002
ACM
This paper considers the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), whose associated decision problem is a prominent o...
RTSS
2009
IEEE
15 years 4 months ago
2009
IEEE
In complex hard real-time systems with tight constraints on system resources, small changes in one component of a system can cause a cascade of adverse effects on other parts of t...
EDBT
2009
ACM
15 years 2 months ago
2009
ACM
Data provenance is essential in applications such as scientific computing, curated databases, and data warehouses. Several systems have been developed that provide provenance fun...
SIGMOD
2003
ACM
15 years 10 months ago
2003
ACM
One of the critical deficiencies of SQL is lack of support for ndimensional array-based computations which are frequent in OLAP environments. Relational OLAP (ROLAP) applications ...
ISVC
2010
Springer
14 years 8 months ago
2010
Springer
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...