Sciweavers

3384 search results - page 149 / 677
» More Testable Properties
Sort
View
CSSC
2008
80views more  CSSC 2008»
13 years 9 months ago
Logistic Discrimination with Total Variation Regularization
This article introduces a regularized logistic discrimination method that is especially suited for discretized stochastic processes (such as periodograms, spectrograms, EEG curves...
Robin Rühlicke, Daniel Gervini
EJC
2010
13 years 9 months ago
Locally subquadrangular hyperplanes in symplectic and Hermitian dual polar spaces
In [11] all locally subquadrangular hyperplanes of finite symplectic and Hermitian dual polar spaces were determined with the aid of counting arguments and divisibility properties...
Bart De Bruyn
ENTCS
2006
125views more  ENTCS 2006»
13 years 9 months ago
Liveness Checking as Safety Checking for Infinite State Spaces
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
Viktor Schuppan, Armin Biere
IJISEC
2008
108views more  IJISEC 2008»
13 years 9 months ago
A note on the Ate pairing
The Ate pairing has been suggested since it can be computed efficiently on ordinary elliptic curves with small values of the traces of Frobenius t. However, not all pairing-friendl...
Changan Zhao, Fangguo Zhang, Jiwu Huang
FSS
2007
75views more  FSS 2007»
13 years 9 months ago
A triparametric family of cardinality-based fuzzy similarity measures
Previously, we introduced a biparametric family of cardinality-based fuzzy similarity measures. In this paper, we generalize this family by adding a third parameter. We also study...
Klaas Bosteels, Etienne E. Kerre