491 search results - page 55 / 99 » Linear Quantifier Elimination |
FSE
1993
Springer
14 years 27 days ago
1993
Springer
: A new non-proprietary secret-key block-enciphering algorithm, SAFER K-64 (for Secure And Fast Encryption Routine with a Key of length 64 bits) is described. The blocklength is 64...
SIGIR
1995
ACM
14 years 10 days ago
1995
ACM
This paper studies noise reduction for computational efficiency improvements in a statistical learning method for text categorization, the Linear Least Squares Fit (LLSF) mapping...
EUSFLAT
2007
13 years 10 months ago
2007
In this paper a multistage fuzzy controller is designed and implemented on the ball and beam system which is a well-known benchmark in the control area because of its nonlinear, u...
NIPS
2007
13 years 10 months ago
2007
We study the rates of growth of the regret in online convex optimization. First, we show that a simple extension of the algorithm of Hazan et al eliminates the need for a priori k...
ISMB
1993
13 years 10 months ago
1993
The minimal-length encoding approach is applied to define concept of sequence similarity. Asequence is defined to be similar to another sequence or to a set of keywords if it can ...