Sciweavers

3536 search results - page 379 / 708
» Local dependent components
Sort
View
ICB
2007
Springer
113views Biometrics» more  ICB 2007»
15 years 10 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 10 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 10 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 10 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
CVPR
2008
IEEE
15 years 8 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