7623 search results - page 1150 / 1525 » Constructive Volume Modeling |
260
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
234
click to vote
VLDB
2005
ACM
16 years 5 months ago
2005
ACM
Efficient querying of XML streams will be one of the fundamental features of next-generation information systems. In this paper we propose the TurboXPath path processor, which acce...
249
Voted
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
248
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
This paper introduces the Tuple Graph (TuG) synopses, a new class of data summaries that enable accurate selectivity estimates for complex relational queries. The proposed summari...
132
click to vote
PODS
2006
ACM
16 years 5 months ago
2006
ACM
Recently, there has been an increased focus on modeling uncertainty by distributions. Suppose we wish to compute a function of a stream whose elements are samples drawn independen...