Sciweavers

2087 search results - page 76 / 418
» Computation of class numbers of quadratic number fields
Sort
View
ICTCS
2007
Springer
15 years 4 months ago
Analyzing Non-Interference with respect to Classes
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,...
Damiano Zanardini
ICALT
2005
IEEE
15 years 3 months ago
Collaborative Learning for an Online Higher Education Course: A Case Study
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...
Patrizia Ghislandi, Remo Job
CSR
2009
Springer
15 years 1 months ago
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes
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 ...
Olaf Beyersdorff, Zenon Sadowski
CVPR
2008
IEEE
15 years 11 months ago
Classification using intersection kernel support vector machines is efficient
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 ...
Subhransu Maji, Alexander C. Berg, Jitendra Malik
MFCS
2009
Springer
15 years 4 months ago
Parameterized Complexity Classes under Logical Reductions
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 ...
Anuj Dawar, Yuguo He