15660 search results - page 313 / 3132 » The Unbalance of Set Systems |
177
Voted
JSC
2010
15 years 6 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...
210
Voted
HIS
2008
15 years 9 months ago
2008
This paper addresses the application of a PCA analysis on categorical data prior to diagnose a patients data set using a Case-Based Reasoning (CBR) system. The particularity is th...
175
click to vote
FCS
2006
15 years 9 months ago
2006
: Many of the Internet's problems are related to names. There are many empirical ideas of the further development of naming on the Internet. However, there are no theoretical ...
249
click to vote
KDD
2012
ACM
13 years 10 months ago
2012
ACM
This paper introduces a novel image decomposition approach for an ensemble of correlated images, using low-rank and sparsity constraints. Each image is decomposed as a combination...
268
Voted
SIGMOD
2012
ACM
13 years 10 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...