324 search results - page 15 / 65 » Reducing Expression Size Using Rule-Based Integration |
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
This paper presents a system for efficient data transformations between XML and relational databases, called XML Data Mediator (XDM). XDM enables the transformation by externalizi...
KDD
2002
ACM
14 years 8 months ago
2002
ACM
This paper presents new methods for automatically integrating, summarizing and evaluating multimedia knowledge. These are essential for multimedia applications to efficiently and ...
HIPC
2009
Springer
13 years 5 months ago
2009
Springer
As the size of available datasets in various domains is growing rapidly, there is an increasing need for scaling data mining implementations. Coupled with the current trends in co...
SIGMOD
1996
ACM
13 years 11 months ago
1996
ACM
We investigate the problem of incremental maintenance of an SQL view in the face of database updates, and show that it is possible to reduce the total time cost of view maintenanc...