693 search results - page 81 / 139 » Consistent normal interpolation |
JALC
2006
15 years 2 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...
116
click to vote
KES
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. This paper proposes an approach to classify human arm motion using qualitative normalized templates. The proposed method consists of construction of human arm model, qual...
141
click to vote
TCSV
2008
15 years 2 months ago
2008
A quality constrained compression algorithm based on Discrete Wavelet Transform (DWT) is proposed. The spatial-frequency decomposition property of DWT provides possibility for not...
108
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Gender differences in gene expression were estimated in liver samples from 9 males and 9 females. The study tested 31,110 genes for a gender difference using a design ...
DM
1998
15 years 2 months ago
1998
One class of Davenport-Schinzel sequences consists of finite sequences over n symbols without immediate repetitions and without any subsequence of the type abab. We present a bij...