3758 search results - page 541 / 752 » A Complete Subsumption Algorithm |
125
click to vote
PODS
2005
ACM
16 years 2 months ago
2005
ACM
The challenge of monitoring massive amounts of data generated by communication networks has led to the interest in data stream processing. We study streams of edges in massive com...
107
Voted
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
In modern databases, complex objects like multimedia data, proteins or text objects can be modeled in a variety of representations and can be decomposed into multiple instances of ...
105
click to vote
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
We address the problem of generating a mediated schema from a set of relational data source schemas and conjunctive queries that specify where those schemas overlap. Unlike past a...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Editing graphic models always entails layout problems. Inserting and deleting items requires tedious manual work for shifting existing items and rearranging the diagram layout. He...
124
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...