Sciweavers

1153 search results - page 81 / 231
» An Automatic Feature Based Face Authentication System,
Sort
View
150
Voted
RTSS
1995
IEEE
15 years 7 months ago
Compositional and Symbolic Model-Checking of Real-Time Systems
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
143
Voted
LICS
1990
IEEE
15 years 7 months ago
Model-Checking for Real-Time Systems
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
Rajeev Alur, Costas Courcoubetis, David L. Dill
139
Voted
ESWA
2007
136views more  ESWA 2007»
15 years 3 months ago
Semantic-based facial expression recognition using analytical hierarchy process
In this paper we present an automatic facial expression recognition system that utilizes a semantic-based learning algorithm using the analytical hierarchy process (AHP). Although...
Shyi-Chyi Cheng, Ming-Yao Chen, Hong-Yi Chang, Tzu...
CVPR
2005
IEEE
16 years 5 months ago
Subspace Analysis Using Random Mixture Models
In [1], three popular subspace face recognition methods, PCA, Bayes, and LDA were analyzed under the same framework and an unified subspace analysis was proposed. However, since t...
Xiaogang Wang, Xiaoou Tang
153
Voted
RSP
2003
IEEE
132views Control Systems» more  RSP 2003»
15 years 8 months ago
Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt