12707 search results - page 2400 / 2542 » A Distributed Arc-Consistency Algorithm |
153
click to vote
HPCA
2009
IEEE
16 years 7 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
202
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
The Drosophila gene expression pattern images document the spatial and temporal dynamics of gene expression and they are valuable tools for explicating the gene functions, interac...
193
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
We describe a recommender system in the domain of grocery shopping. While recommender systems have been widely studied, this is mostly in relation to leisure products (e.g. movies...
182
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach to large-scale graph mining based on so-called backbone refinement classes. The method efficiently mines tree-shaped subgraph descriptors under minimum f...
184
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
There is a wide variety of data mining methods available, and it is generally useful in exploratory data analysis to use many different methods for the same dataset. This, however...