882 search results - page 104 / 177 » Local Search for Very Large SAT Problems |
140
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
AI Planning is concerned with the selection of actions towards achieving a goal. Research on cellular automata (CA) is concerned with the question how global behaviours arise from ...
111
click to vote
IJCAI
2007
15 years 5 months ago
2007
Gait optimization is a basic yet challenging problem for both quadrupedal and bipedal robots. Although techniques for automating the process exist, most involve local function opt...
164
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
As user demands become increasingly sophisticated, search engines today are competing in more than just returning document results from the Web. One area of competition is providi...
127
click to vote
AISB
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. A formal, representation-independent form of a memetic algorithm-a genetic algorithm incorporating local search--is introduced. A generalisedform of N-point crossover is ...
160
click to vote
DAWAK
2004
Springer
15 years 9 months ago
2004
Springer
Visualization techniques provide an outstanding role in KDD process for data analysis and mining. However, one image does not always convey successfully the inherent information fr...