4513 search results - page 839 / 903 » Logic programming with satisfiability |
197
click to vote
SIGMOD
2005
ACM
16 years 1 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
116
click to vote
PODS
2002
ACM
16 years 1 months ago
2002
ACM
Research on information extraction from Web pages (wrapping) has seen much activity in recent times (particularly systems implementations), but little work has been done on formal...
125
click to vote
PODS
2002
ACM
16 years 1 months ago
2002
ACM
Data Warehousing and OLAPapplications typically view data as having multiple logical dimensions e.g., product, location with natural hierarchies de ned on each dimension. OLAP que...
118
click to vote
PODS
2005
ACM
16 years 1 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
105
click to vote
ICCD
2006
IEEE
15 years 10 months ago
2006
IEEE
—This paper introduces the microarchitecture and logical implementation of SMT (Simultaneous Multithreading) improvement of Godson-2 processor which is a 64-bit, four-issue, out-...