1690 search results - page 298 / 338 » Algorithmic Properties of Millstream Systems |
133
click to vote
ICDT
2010
ACM
15 years 4 months ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
144
click to vote
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
105
Voted
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
While provenance has been extensively studied in the literature, the efficient evaluation of provenance queries remains an open problem. Traditional query optimization techniques...
83
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
Let X be a discrete random variable with support S and f : S S be a bijection. Then it is wellknown that the entropy of X is the same as the entropy of f(X). This entropy preserva...
124
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
Social Network Marketing techniques employ pre-existing social networks to increase brands or products awareness through word-of-mouth promotion. Full understanding of social netw...