1413 search results - page 134 / 283 » Bisimilarity of Open Terms |
289
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper investigates the view update problem for XML views published from relational data. We consider (possibly) recursively defined XML views, compressed into DAGs and stored...
263
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
267
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
Despite various interoperability recommendations, heterogeneity of Geographic Information Systems (GIS) is still an issue. This led to an increasing need for a data integration sy...
170
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
153
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
We propose a design and optimization methodology for high performance and ultra low power digital applications on flexible substrate using Low Temperature Polycrystalline Silicon ...