3475 search results - page 597 / 695 » Backbones in Optimization and Approximation |
124
Voted
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
127
Voted
CPAIOR
2006
Springer
15 years 6 months ago
2006
Springer
This paper considers online stochastic reservation problems, where requests come online and must be dynamically allocated to limited resources in order to maximize profit. Multi-k...
126
Voted
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We formulate the problem of least squares temporal difference learning (LSTD) in the framework of least squares SVM (LS-SVM). To cope with the large amount (and possible ...
122
click to vote
EUROCRYPT
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Lattice-based signature schemes following the GoldreichGoldwasser-Halevi (GGH) design have the unusual property that each signature leaks information on the signer's...
117
click to vote
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we investigate some properties and algorithms related to a text sparsification technique based on the identification of local maxima in the given string. As the numb...