Sciweavers

1099 search results - page 111 / 220
» Factored sequence kernels
Sort
View
CADE
2008
Springer
16 years 6 months ago
Modularity of Confluence
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in th...
Vincent van Oostrom
ICC
2007
IEEE
147views Communications» more  ICC 2007»
16 years 13 days ago
MIMO OFDM Frequency Offset Estimator with Low Computational Complexity
— This paper addresses a low complexity frequency offset estimator for multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems over freque...
Yanxiang Jiang, Xiaohu You, Xiqi Gao, Hlaing Minn
ICB
2007
Springer
111views Biometrics» more  ICB 2007»
16 years 8 days ago
Reducing the Effect of Noise on Human Contour in Gait Recognition
Gait can be easily acquired at a distance, so it has become a popular biometric especially in intelligent visual surveillance. In gait-based human identification there are many fa...
Shiqi Yu, Daoliang Tan, Kaiqi Huang, Tieniu Tan
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
15 years 10 months ago
FreezeFrame: Compact Test Generation Using a Frozen Clock Strategy
Test application time is an important factor in the overall cost of VLSI chip testing. We present a new ATPG approach for generating compact test sequences for sequential circuits...
Yanti Santoso, Matthew C. Merten, Elizabeth M. Rud...
FGR
1998
IEEE
74views Biometrics» more  FGR 1998»
15 years 10 months ago
Synthesis of Facial Images with Lip Motion from Several Real Views
The synthesis of facial images by computer graphics is very important for many applications such as human interface and visual entertainment. The lip motion is an essential factor...
Lei Gao, Yasuhiro Mukaigawa, Yuichi Ohta