Sciweavers

1692 search results - page 149 / 339
» Applying Science Models for Search
Sort
View
WACV
2007
IEEE
16 years 19 days ago
Probabilistic Hierarchical Face Model for Feature Localization
Facial feature localization is an important research area in both computer vision and pattern analysis. We present in this paper a hierarchical face model. It unifies both the gl...
Feng Tang, Jin Wang, Hai Tao, Qunsheng Peng
ATVA
2007
Springer
108views Hardware» more  ATVA 2007»
16 years 17 days ago
A New Approach to Bounded Model Checking for Branching Time Logics
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
Rotem Oshman, Orna Grumberg
ICSE
1993
IEEE-ACM
15 years 10 months ago
A Comprehensive Process Model for Studying Software Process Papers
E cient and e ective studying of scienti c papers is an important part of software engineering education. Moreover, it contributes to the knowledge necessary to carry out software...
Rudolf K. Keller, Richard Lajoie, Nazim H. Madhavj...
TAMC
2009
Springer
16 years 28 days ago
The Extended Turing Model as Contextual Tool
Computability concerns information with a causal – typically algorithmic – structure. As such, it provides a schematic analysis of many naturally occurring situations. We look ...
S. Barry Cooper
ICB
2009
Springer
412views Biometrics» more  ICB 2009»
16 years 29 days ago
Bayesian Face Recognition Based on Markov Random Field Modeling
In this paper, a Bayesian method for face recognition is proposed based on Markov Random Fields (MRF) modeling. Constraints on image features as well as contextual relationships be...
Rui Wang, Zhen Lei, Meng Ao, Stan Z. Li