264 search results - page 11 / 53 » First order LUB approximations: characterization and algorit... |
110
click to vote
SIGMOD
2003
ACM
15 years 11 months ago
2003
ACM
Most relational query optimizers make use of information about the costs of accessing tuples and data structures on various storage devices. This information can at times be off b...
181
Voted
GIS
2004
ACM
16 years 21 days ago
2004
ACM
Triangular Irregular Network (TIN) and Regular Square Grid (RSG) are widely used for representing 2.5 dimensional spatial data. However, these models are not defined from the topo...
169
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
We consider the problem of continuously maintaining order sketches over data streams with a relative rank error guarantee . Novel space-efficient and one-scan randomised technique...
102
click to vote
GLOBECOM
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper we consider a cooperative network that is trying to reach binary consensus over fading channels. We first characterize the impact of fading on network consensus by up...
106
click to vote
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...