11017 search results - page 2097 / 2204 » Closure Systems and their Structure |
133
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
133
click to vote
HPCA
2009
IEEE
16 years 5 months ago
2009
IEEE
In a Chip Multi-Processor (CMP) with private caches, the last level cache is statically partitioned between all the cores. This prevents such CMPs from sharing cache capacity in r...
144
Voted
KDD
2009
ACM
16 years 5 months ago
2009
ACM
Effective diagnosis of Alzheimer's disease (AD), the most common type of dementia in elderly patients, is of primary importance in biomedical research. Recent studies have de...
134
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
Topic models provide a powerful tool for analyzing large text collections by representing high dimensional data in a low dimensional subspace. Fitting a topic model given a set of...
156
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
A heterogeneous information network is an information network composed of multiple types of objects. Clustering on such a network may lead to better understanding of both hidden s...