8 search results - page 2 / 2 » Constructive negation by bottom-up computation of literal an... |
VLDB
2011
ACM
13 years 6 days ago
2011
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. They are an important tool in several areas of database research, notab...
PADL
2010
Springer
13 years 7 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
TACAS
2005
Springer
13 years 10 months ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...