Sciweavers

9414 search results - page 1696 / 1883
» Adaptive Query Processing
Sort
View
AMFG
2003
IEEE
168views Biometrics» more  AMFG 2003»
15 years 10 months ago
Efficient Active Appearance Model for Real-Time Head and Facial Feature Tracking
This paper addresses the 3D tracking of pose and animation of the human face in monocular image sequences using Active Appearance Models. The classical appearancebased tracking su...
Fadi Dornaika, Jörgen Ahlberg
190
Voted
CHARME
2003
Springer
97views Hardware» more  CHARME 2003»
15 years 10 months ago
Coverage Metrics for Formal Verification
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
CHES
2003
Springer
146views Cryptology» more  CHES 2003»
15 years 10 months ago
Efficient Implementation of Rijndael Encryption in Reconfigurable Hardware: Improvements and Design Tradeoffs
Abstract. Performance evaluation of the Advanced Encryption Standard candidates has led to intensive study of both hardware and software implementations. However, although plentifu...
François-Xavier Standaert, Gaël Rouvro...
EUROCRYPT
2000
Springer
15 years 10 months ago
Cox-Rower Architecture for Fast Parallel Montgomery Multiplication
Abstract. This paper proposes a fast parallel Montgomery multiplication algorithm based on Residue Number Systems (RNS). It is easy to construct a fast modular exponentiation by ap...
Shin-ichi Kawamura, Masanobu Koike, Fumihiko Sano,...
186
Voted
ISCA
1998
IEEE
135views Hardware» more  ISCA 1998»
15 years 10 months ago
Branch Prediction Based on Universal Data Compression Algorithms
Data compression and prediction are closely related. Thus prediction methods based on data compression algorithms have been suggested for the branch prediction problem. In this wo...
Eitan Federovsky, Meir Feder, Shlomo Weiss
« Prev « First page 1696 / 1883 Last » Next »