9359 search results - page 41 / 1872 » Generalization Algorithms for Second-Order Terms |
122
click to vote
DAC
2008
ACM
16 years 3 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
101
click to vote
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Inverse document frequency (IDF) is one of the most useful and widely used concepts in information retrieval. There have been various attempts to provide theoretical justification...
112
click to vote
KDD
2005
ACM
16 years 2 months ago
2005
ACM
Clustering is the problem of identifying the distribution of patterns and intrinsic correlations in large data sets by partitioning the data points into similarity classes. This p...
105
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
141
click to vote
ISPD
2005
ACM
15 years 7 months ago
2005
ACM
We streamline and extend APlace, the general analytic placement engine based on ideas of Naylor et al. [7] and described in [3, 4, 5]. Previous work explored the adaptability of A...