1996 search results - page 58 / 400 » A decision procedure for linear |
106
click to vote
IDA
1999
Springer
15 years 4 months ago
1999
Springer
A method for the linear discrimination of two classes has been proposed by us in 3 . It searches for the discriminant direction which maximizes the distance between the projected c...
ESANN
2001
15 years 1 months ago
2001
This paper presents an adaptive procedure for the linear and non-linear separation of signalswithnon-uniform,symmetricalprobabilitydistributions,basedonbothsimulatedannealing andco...
RTA
2009
Springer
15 years 6 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
105
click to vote
LATA
2009
Springer
15 years 6 months ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
CSL
2004
Springer
15 years 5 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...