Sciweavers

3536 search results - page 379 / 708
» Local dependent components
Sort
View
ICB
2007
Springer
113views Biometrics» more  ICB 2007»
15 years 8 months ago
Standardization of Face Image Sample Quality
Performance of biometric systems is dependent on quality of acquired biometric samples. Poor sample quality is a main reason for matching errors in biometric systems and may be the...
Xiufeng Gao, Stan Z. Li, Rong Liu, Peiren Zhang
ACRI
2006
Springer
15 years 8 months ago
The Influence of Risk Perception in Epidemics: A Cellular Agent Model
Our work stems from the consideration that the spreading of a disease is modulated by the individual's perception of the infected neighborhood and his/her strategy to avoid be...
Luca Sguanci, Pietro Liò, Franco Bagnoli
CAV
2006
Springer
122views Hardware» more  CAV 2006»
15 years 8 months ago
Repair of Boolean Programs with an Application to C
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
Andreas Griesmayer, Roderick Bloem, Byron Cook
FSTTCS
2006
Springer
15 years 8 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
134
Voted
CVPR
2008
IEEE
15 years 6 months ago
Adaptive region intensity based rigid ultrasound and CT image registration
Rigid registration of intraoperative ultrasound (US) and CT is an important technique to provide real-time guidance for preoperative images and models. Due to the speckle noise an...
Zhijun Zhang