3007 search results - page 258 / 602 » Linear Functional Fixed-points |
133
click to vote
COCO
2007
Springer
15 years 8 months ago
2007
Springer
Current constructions of efficient argument systems combine a short (polynomial size) PCP with a cryptographic hashing technique. We suggest an alternative approach for this probl...
115
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we introduce XCSF with support vector prediction: the problem of learning the prediction function is solved as a support vector regression problem and each classifie...
146
click to vote
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
146
Voted
ESEM
2008
ACM
15 years 6 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
129
click to vote
SIAMCO
2000
15 years 3 months ago
2000
We study the asymptotic behavior at infinity of solutions of a second order evolution equation with linear damping and convex potential. The differential system is defined in a rea...