Sciweavers

12836 search results - page 2130 / 2568
» Generalization Methods in Bioinformatics
Sort
View
SCN
2011
Springer
292views Communications» more  SCN 2011»
15 years 1 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
SIAMMAX
2011
111views more  SIAMMAX 2011»
15 years 1 months ago
Ergodicity Coefficients Defined by Vector Norms
Abstract. Ergodicity coefficients for stochastic matrices determine inclusion regions for subdominant eigenvalues; estimate the sensitivity of the stationary distribution to change...
Ilse C. F. Ipsen, Teresa M. Selee
SOCO
2011
Springer
15 years 1 months ago
A novel approach to annotating web service based on interface concept mapping and semantic expansion
With the rapid development of web service technology in these years, traditional standards have been matured during the process of service registry and discovery. However, it is di...
Guobing Zou, Yang Xiang, Yanglan Gan, Yixin Chen
TCOM
2011
155views more  TCOM 2011»
15 years 1 months ago
Asymptotically Optimal Model Estimation for Quantization
—Using high-rate theory approximations we introduce flexible practical quantizers based on possibly non-Gaussian models in both the constrained resolution (CR) and the constrain...
Alexey Ozerov, W. Bastiaan Kleijn
TIT
2011
102views more  TIT 2011»
15 years 1 months ago
Sequence Families With Low Correlation Derived From Multiplicative and Additive Characters
For integer r satisfying 0 ≤ r ≤ p − 2, a sequence family Ωr of polyphase sequences of prime period p, size (p − 2)pr , and maximum correlation at most 2 + (r + 1) √ p...
Kai-Uwe Schmidt
« Prev « First page 2130 / 2568 Last » Next »