3775 search results - page 545 / 755 » The Expression Problem Revisited |
161
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
275
click to vote
PODS
2009
ACM
16 years 6 months ago
2009
ACM
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...
154
Voted
KDD
2004
ACM
16 years 6 months ago
2004
ACM
For the discovery of similar patterns in 1D time-series, it is very typical to perform a normalization of the data (for example a transformation so that the data follow a zero mea...
153
click to vote
KDD
2001
ACM
16 years 6 months ago
2001
ACM
This paper is concerned with the construction of regression and classification trees that are more adapted to data mining applications than conventional trees. To this end, we pro...
167
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
The internet presents people with an increasingly bewildering variety of choices. Online consumers have to rely on computerized search tools to find the most preferred option in a...