557 search results - page 34 / 112 » The L4.verified Project - Next Steps |
ICASSP
2011
IEEE
13 years 22 days ago
2011
IEEE
This paper presents the HKCUPU speaker recognition system submitted to NIST 2010 speaker recognition evaluation (SRE). The system comprises five subsystems, each with different ac...
CDC
2010
IEEE
13 years 19 days ago
2010
IEEE
—In this paper we study the overparametrization scheme for Hammerstein systems [1] in the presence of regularization. The quality of the convex approximation is analysed, that is...
IACR
2011
12 years 8 months ago
2011
We derive an explicit method of computing the composition step in Cantor’s algorithm for group operations on Jacobians of hyperelliptic curves. Our technique is inspired by the g...
ISCSCT
2008
IEEE
14 years 3 months ago
2008
IEEE
—To rapidly and accurately search the corresponding points along scan-lines, rectification of stereo pairs are performed so that corresponding epipolar lines are parallel to the ...
CSMR
2004
IEEE
14 years 22 days ago
2004
IEEE
In order to lower the risk, reengineering projects aim at high reuse rates. Therefore, tasks like architectural restructuring have to be performed in a way that developed new syst...