1173 search results - page 190 / 235 » Program Derivation Using Analogy |
121
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
117
Voted
IJNSEC
2006
15 years 2 months ago
2006
The main back-bone operation in elliptic curve cryptosystems is scalar point multiplication. The most frequently used method implementing the scalar point multiplication which is ...
125
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
The problem of recovering the sparsity pattern of a fixed but unknown vector β∗ ∈ Rp based on a set of n noisy observations arises in a variety of settings, including subset...
103
click to vote
NAR
2006
15 years 2 months ago
2006
We have developed a web tool, PupaSuite, for the selection of single nucleotide polymorphisms (SNPs) with potential phenotypic effect, specifically oriented to help in the design ...
119
Voted
INFORMATICALT
2007
15 years 2 months ago
2007
This paper describes a framework for making up a set of syllables and phonemes that subsequently is used in the creation of acoustic models for continuous speech recognition of Lit...