8025 search results - page 450 / 1605 » Combinators Introduction: An Algorithm |
201
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
229
click to vote
ICDM
2006
IEEE
16 years 1 months ago
2006
IEEE
We propose an algorithm for extracting fields from HTML search results. The output of the algorithm is a database table– a data structure that better lends itself to high-level...
186
click to vote
AUSAI
2005
Springer
16 years 1 months ago
2005
Springer
: In order to scale to problems with large or continuous state-spaces, reinforcement learning algorithms need to be combined with function approximation techniques. The majority of...
274
click to vote
CHARME
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
192
click to vote
ECML
2004
Springer
16 years 29 days ago
2004
Springer
Support Vector Machines (SVM) have been extensively studied and have shown remarkable success in many applications. However the success of SVM is very limited when it is applied to...