324 search results - page 15 / 65 » Reducing Expression Size Using Rule-Based Integration |
202
click to vote
ICLP
2009
Springer
16 years 9 days 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...
101
Voted
WWW
2004
ACM
16 years 10 days 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
16 years 2 days 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 ...
119
Voted
HIPC
2009
Springer
14 years 9 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...
106
Voted
SIGMOD
1996
ACM
15 years 3 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...