Sciweavers

6800 search results - page 586 / 1360
» Testing with Functions as Specifications
Sort
View
PKC
2009
Springer
121views Cryptology» more  PKC 2009»
16 years 8 months ago
Fast Multibase Methods and Other Several Optimizations for Elliptic Curve Scalar Multiplication
Recently, the new Multibase Non-Adjacent Form (mbNAF) method was introduced and shown to speed up the execution of the scalar multiplication with an efficient use of multiple bases...
Patrick Longa, Catherine H. Gebotys
RECOMB
2006
Springer
16 years 7 months ago
Structural Alignment of Pseudoknotted RNA
In this paper, we address the problem of discovering novel non-coding RNA (ncRNA) using primary sequence, and secondary structure conservation, focusing on ncRNA families with pseu...
Banu Dost, Buhm Han, Shaojie Zhang, Vineet Bafna
ICCCI
2009
Springer
16 years 2 months ago
Accuracy in Predicting Secondary Structure of Ionic Channels
Ionic channels are among the most difficult proteins for experimental structure determining, very few of them has been resolved. Bioinformatical tools has not been tested for this ...
Bogumil Konopka, Witold Dyrka, Jean-Christophe Neb...
IWPSE
2007
IEEE
16 years 1 months ago
Modification analysis support at the requirements level
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
SEMCO
2007
IEEE
16 years 1 months ago
Large-Margin Discriminative Training of Hidden Markov Models for Speech Recognition
Discriminative training has been a leading factor for improving automatic speech recognition (ASR) performance over the last decade. The traditional discriminative training, howev...
Dong Yu, Li Deng