7988 search results - page 1381 / 1598 » A Useful Undecidable Theory |
156
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
173
click to vote
PRDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
148
click to vote
COCOON
2009
Springer
15 years 11 months ago
2009
Springer
: Network games play a fundamental role in understanding behavior in many domains, ranging from communication networks through markets to social networks. Such networks are used, a...
129
click to vote
FC
2009
Springer
15 years 11 months ago
2009
Springer
Inadvertent insiders are trusted insiders who do not have malicious intent (as with malicious insiders) but do not responsibly managing security. The result is often enabling a mal...
128
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces a new component based model that makes it relatively simple to prove that certain types of landscapes are elementary. We use the model to reconstruct proofs ...