150 search results - page 27 / 30 » Complexity of the Unique Extension Problem in Default Logic |
159
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—In IEEE 802.22 Wireless Regional Area Networks (WRANs), each Base Station (BS) solves a complex resource allocation problem of simultaneously determining the channel to reuse, p...
161
click to vote
DBPL
1995
Springer
15 years 9 months ago
1995
Springer
We study the problem of maintaining recursively-de ned views, such as the transitive closure of a relation, in traditional relational languages that do not have recursion mechanis...
273
click to vote
ICDE
2003
IEEE
16 years 6 months ago
2003
IEEE
Intuitively, data management and data integration tools should be well-suited for exchanging information in a semantically meaningful way. Unfortunately, they suffer from two sign...
140
click to vote
ICCSA
2009
Springer
16 years 9 days ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
148
click to vote
PADS
2003
ACM
15 years 10 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...