Sciweavers

100 search results - page 6 / 20
» New constructions of weak epsilon-nets
Sort
View
TIM
2010
79views Education» more  TIM 2010»
13 years 4 months ago
Desired Order Continuous Polynomial Time Window Functions for Harmonic Analysis
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...
P. Singla, T. Singh
CADE
2006
Springer
14 years 10 months ago
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
Robert L. Constable, Wojciech Moczydlowski
GLOBECOM
2009
IEEE
14 years 4 months ago
Reusable Set Constructions Using Randomized Dissolvent Templates for Biometric Security
—The emerging biometric cryptography has gained significant interests for key management and privacy protection, but the previously proposed schemes using set metrics for finge...
Jinyang Shi, Kwok-Yan Lam, Ming Gu, Husheng Li
MCS
2002
Springer
13 years 9 months ago
New Measure of Classifier Dependency in Multiple Classifier Systems
Abstract. Recent findings in the domain of combining classifiers provide a surprising revision of the usefulness of diversity for modelling combined performance. Although there is ...
Dymitr Ruta, Bogdan Gabrys
PKC
2009
Springer
131views Cryptology» more  PKC 2009»
14 years 10 months ago
Towards Black-Box Accountable Authority IBE with Short Ciphertexts and Private Keys
At Crypto'07, Goyal introduced the concept of Accountable Authority Identity-Based Encryption as a convenient tool to reduce the amount of trust in authorities in Identity-Bas...
Benoît Libert, Damien Vergnaud