364 search results - page 63 / 73 » Dimension Characterizations of Complexity Classes |
GIS
2009
ACM
13 years 12 months ago
2009
ACM
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
ICLP
2001
Springer
13 years 11 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
ICNP
1998
IEEE
13 years 11 months ago
1998
IEEE
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
GLOBECOM
2009
IEEE
13 years 11 months ago
2009
IEEE
Secure communications in wireless ad hoc networks require setting up end-to-end secret keys for communicating node pairs. Due to physical limitations and scalability requirements, ...
ICDT
2010
ACM
13 years 9 months ago
2010
ACM
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...