Sciweavers

613 search results - page 36 / 123
» Matching Power
Sort
View
JANCL
2007
107views more  JANCL 2007»
15 years 5 months ago
Distributed knowledge
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
Floris Roelofsen
161
Voted
ACII
2005
Springer
15 years 7 months ago
The Bunch-Active Shape Model
Active Shape Model (ASM) is one of the most powerful statistical tools for face image alignment. In this paper, we propose a novel method, called Bunch-Active Shape Model (Bunch-AS...
Jingcai Fan, Hongxun Yao, Wen Gao, Yazhou Liu, Xin...
MVA
2007
196views Computer Vision» more  MVA 2007»
15 years 6 months ago
Fingerprint Verification Using Perturbation Method
This paper describes a new, powerful technique of fingerprint verification based on a perturbation method. The proposed method consists of four parts. The first part performs loca...
Satoshi Otaka, Yoshihisa Nishiyama, Takahiro Hatan...
LICS
2012
IEEE
13 years 7 months ago
The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets
—We show how to reliably compute fast-growing functions with timed-arc Petri nets and data nets. This construction provides ordinal-recursive lower bounds on the complexity of th...
Serge Haddad, Sylvain Schmitz, Philippe Schnoebele...
GLVLSI
2005
IEEE
103views VLSI» more  GLVLSI 2005»
15 years 10 months ago
Causal probabilistic input dependency learning for switching model in VLSI circuits
Switching model captures the data-driven uncertainty in logic circuits in a comprehensive probabilistic framework. Switching is a critical factor that influences dynamic, active ...
Nirmal Ramalingam, Sanjukta Bhanja