2087 search results - page 76 / 418 » Computation of class numbers of quadratic number fields |
ICTCS
2007
Springer
15 years 6 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
ICALT
2005
IEEE
15 years 5 months ago
2005
IEEE
Collaborative learning, which a large number of scholars have been experimenting with since Dewey wrote about it in 1924, has known a new interest with the spreading of the Intern...
CSR
2009
Springer
15 years 3 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Straightforward classification using kernelized SVMs requires evaluating the kernel for a test vector and each of the support vectors. For a class of kernels we show that one can ...
MFCS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The parameterized complexity classes of the W -hierarchy are usually defined as the problems reducible to certain natural complete problems by means of fixed-parameter ...