Sciweavers

7924 search results - page 234 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
JAT
2006
66views more  JAT 2006»
15 years 7 months ago
An extrapolation theorem for nonlinear approximation and its applications
We prove an extrapolation theorem for the nonlinear m-term approximation with respect to a system of functions satisfying very mild conditions. This theorem allows us to prove end...
Feng Dai
ICST
2009
IEEE
16 years 1 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser
FASE
2009
Springer
15 years 11 months ago
Certification of Smart-Card Applications in Common Criteria
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
Iman Narasamdya, Michaël Périn
ICPR
2004
IEEE
16 years 8 months ago
Robust Modelling of Local Image Structures and Its Application to Medical Imagery
A robust modelling method for detecting and measuring isotropic, linear features and bifurcations is described and applied to analysing 2d eletrophoresis and retinal images. Featu...
Li Wang, Abhir Bhalerao, Roland Wilson
FUZZIEEE
2007
IEEE
16 years 1 months ago
Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity
— In many fields, e.g. decision-making, numerical values in [0,1] are available and one is often interested in detecting which are similar. In this paper, we propose an operator...
Hoel Le Capitaine, Thomas Batard, Carl Frél...