155 search results - page 14 / 31 » Property Testing and Parameter Testing for Permutations |
123
click to vote
ICIP
1994
IEEE
16 years 5 months ago
1994
IEEE
In this work we present a new approach to two - dimensional robust spline smoothing. The proposed method is based on M-estimator algorithms but unlike in other M-estimator based i...
130
Voted
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
112
Voted
AMC
2007
15 years 3 months ago
2007
In this paper, two anticontrol algorithms for synthesis of discrete chaos are introduced. In these algorithms, the control parameter of a discrete dynamical system is switched, ei...
118
Voted
AUTOMATICA
2002
15 years 3 months ago
2002
This paper deals with the frequency domain properties of an ellipsoidal family of rational functions, i.e. a family of rational functions whose coefficients depend affinely on an ...
137
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: We present a statistical method of analysis of biological networks based on the exponential random graph model, namely p2-model, as opposed to previous descriptive app...