1075 search results - page 214 / 215 » Toward a Verified Relational Database Management System |
CIKM
2008
Springer
13 years 7 months ago
2008
Springer
I report briefly on some of my own work in each of these areas and elucidate some of the questions that this research has raised. Then I propose as a research agenda the developme...
JELIA
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the\spoiled" part of the data (i.e., the set ...
CIKM
2010
Springer
13 years 3 months ago
2010
Springer
There is an increasing amount of structure on the Web as a result of modern Web languages, user tagging and annotation, and emerging robust NLP tools. These meaningful, semantic, ...
CIKM
1998
Springer
13 years 9 months ago
1998
Springer
Despite of the fact that large line segment datasets are appearing more and more frequently in numerous applications involving spatial data, such as GIS 8, 9] multimedia 6] and ev...
BMCBI
2004
13 years 5 months ago
2004
Background: Once specific genes are identified through high throughput genomics technologies there is a need to sort the final gene list to a manageable size for validation studie...