3007 search results - page 307 / 602 » Linear Functional Fixed-points |
133
click to vote
CADE
1990
Springer
15 years 8 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
120
click to vote
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
A class of sparse regularization functions are considered for the developing sparse classifiers for determining facial gender. The sparse classification method aims to both select...
129
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
XCSF is a novel version of learning classifier systems (LCS) which extends the typical concept of LCS by introducing computable classifier prediction. In XCSF Classifier predictio...
140
click to vote
AAAI
2007
15 years 6 months ago
2007
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...
118
Voted
ASIACRYPT
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a method to speed up the r-adding walk on multiplicative subgroups of the prime field. The r-adding walk is an iterating function used with the Pollard rho alg...