6693 search results - page 344 / 1339 » Methods of Automatic Algorithm Generation |
187
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Web search is generally motivated by an information need. Since asking well-formulated questions is the fastest and the most natural way to obtain information for human beings, al...
203
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we provide experimental results and extensions to our previous theoretical findings concerning the combination of forecasts that have been diversified by three ...
162
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
— A new biped gait generation and optimization method is proposed in the frame of Estimation of Distribution Algorithms (EDAs) with Q-learning method. By formulating the biped ga...
286
click to vote
ISSTA
2004
ACM
16 years 5 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
151
click to vote
SIAMJO
2010
15 years 5 months ago
2010
Proximal bundle methods have been shown to be highly successful optimization methods for unconstrained convex problems with discontinuous first derivatives. This naturally leads ...