12148 search results - page 301 / 2430 » Generalized Bundle Methods |
183
click to vote
HYBRID
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
181
click to vote
ISCAS
1994
IEEE
15 years 11 months ago
1994
IEEE
Earlier research has shown that the problem of optimal weighted median filtering with structural constraints can be formulated as a nonconvex nonlinear programming problem in gene...
209
click to vote
SAT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
140
click to vote
CIKM
2006
Springer
15 years 11 months ago
2006
Springer
Optimising the parameters of ranking functions with respect to standard IR rank-dependent cost functions has eluded satisfactory analytical treatment. We build on recent advances ...
184
click to vote
AAAI
2004
15 years 8 months ago
2004
We study the recognized open problem of designing revenuemaximizing combinatorial auctions. It is unsolved even for two bidders and two items for sale. Rather than pursuing the pu...