1888 search results - page 185 / 378 » Proof theory and computational analysis |
119
Voted
SAC
2010
ACM
15 years 7 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...
95
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Despite general awareness of the importance of keeping one's system secure, and widespread availability of consumer security technologies, actual investment in security remai...
COMPUTING
2007
15 years 23 days ago
2007
In this paper a class of subdivision schemes generalizing the algorithm of Loop is presented. The stencils have the same support as those from the algorithm of Loop, but allow a v...
TCS
2002
15 years 12 days ago
2002
An instance of the (Generalized) Post Correspondence Problem is during the decision process typically reduced to one or more other instances, called its successors. In this paper ...
85
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...