6608 search results - page 1264 / 1322 » On the Completeness of Model Checking |
216
Voted
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
XML schema design has two opposing goals: elimination of update anomalies requires that the schema be as normalized as possible; yet higher query performance and simpler query exp...
217
Voted
ICDE
2004
IEEE
16 years 4 months ago
2004
IEEE
Data integration over multiple heterogeneous data sources has become increasingly important for modern applications. The integrated data is usually stored in materialized views fo...
273
click to vote
ICDE
2003
IEEE
16 years 4 months ago
2003
IEEE
This paper presents SPEX, a streamed and progressive evaluation of regular path expressions with XPath-like qualifiers against XML streams. SPEX proceeds as follows. An expression...
122
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
A heretofore unsolved problem of great archaeological importance is the automatic assembly of pots made on a wheel from the hundreds (or thousands) of sherds found at an excavatio...
225
Voted
GIS
2004
ACM
16 years 4 months ago
2004
ACM
Spatial co-location patterns represent the subsets of events whose instances are frequently located together in geographic space. We identified the computational bottleneck in the...