Sciweavers

972 search results - page 106 / 195
» Reasoning with Conditional Time-Intervals
Sort
View
ICB
2009
Springer
586views Biometrics» more  ICB 2009»
14 years 2 months ago
Face Image Quality Evaluation for ISO/IEC Standards 19794-5 and 29794-5
Face recognition performance can be significantly influenced by face image quality. The approved ISO/IEC standard 19794-5 has specified recommendations for face photo taking for...
Jitao Sang, Zhen Lei, Stan Z. Li
ICASSP
2008
IEEE
14 years 2 months ago
Cryptographic measures in information hiding
Recent information hiding schemes are scrutinized in terms of their cryptographic performance. We establish conditions under which the key equivocation function is optimal for the...
Phillip A. Regalia
LICS
2008
IEEE
14 years 2 months ago
A Logical Characterization of Individual-Based Models
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
James F. Lynch
TPHOL
2008
IEEE
14 years 2 months ago
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
Sayan Mitra, K. Mani Chandy
BROADNETS
2007
IEEE
14 years 2 months ago
Improving VoIP call capacity over IEEE 802.11 networks
— The expected VoIP call capacity in a one hop IEEE 802.11b network with G.711 voice codec is about 85 simultaneous calls, but the actual observed capacity is only 5 calls even a...
Yeonsik Jeong, Sandeep Kakumanu, Cheng-Lin Tsao, R...