4924 search results - page 174 / 985 » Efficiency Improvement for NTRU |
TGC
2010
Springer
13 years 6 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
ICMLA
2009
13 years 6 months ago
2009
In structured prediction problems, outputs are not confined to binary labels; they are often complex objects such as sequences, trees, or alignments. Support Vector Machine (SVM) ...
EC
2010
13 years 5 months ago
2010
Estimation of distribution algorithms (EDAs) that use marginal product model factorizations have been widely applied to a broad range of, mainly binary, optimization problems. In ...
IJOCI
2010
13 years 5 months ago
2010
We present a time-efficient approach to index objects moving on the plane to efficiently answer range queries about their future positions. Each object is moving with non small ve...
CMA
2010
13 years 3 months ago
2010
The integration of complicated oscillatory functions arises in computational electromagnetics when evaluating signals produced by the propagation of electromagnetic radiation thro...