53 search results - page 5 / 11 » kais 2011 |
DCC
2011
IEEE
13 years 2 months ago
2011
IEEE
For odd integer m ≥ 3 and t = 0, 1, . . . , m−1 2 , we define Family V (t) to be a set of size 2m(t+1) containing binary sequences of period 2m+1 − 2. The nontrivial correl...
ATVA
2011
Springer
12 years 7 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
CSL
2011
Springer
13 years 2 months ago
2011
Springer
We describe a new approach to speech recognition, in which all Hidden Markov Model (HMM) states share the same Gaussian Mixture Model (GMM) structure with the same number of Gauss...
CG
2011
Springer
13 years 2 months ago
2011
Springer
This paper presents a robust and blind watermarking algorithm for threedimensional (3D) meshes. The watermarking primitive is an intrinsic 3D shape descriptor: the analytic and co...
TIP
2011
13 years 2 months ago
2011
—Image formation is traditionally described by a number of individual models, one for each specific effect in the image formation process. However, it is difficult to aggregate...