264 search results - page 31 / 53 » On the possibility of faster SAT algorithms |
CEC
2008
IEEE
15 years 4 days ago
2008
IEEE
One of the advantages of evolutionary robotics over other approaches in embodied cognitive science would be its parallel population search. Due to the population search, it takes a...
ICANN
2007
Springer
14 years 12 months ago
2007
Springer
A multilayer neural network based on multi-valued neurons (MLMVN) is a new powerful tool for solving classification, recognition and prediction problems. This network has a number ...
112
click to vote
IPCO
2008
14 years 11 months ago
2008
Abstract. Semidefinite relaxations are known to deliver good approximations for combinatorial optimization problems like graph bisection. Using the spectral bundle method it is pos...
81
Voted
ACL
2010
14 years 8 months ago
2010
Incremental parsing techniques such as shift-reduce have gained popularity thanks to their efficiency, but there remains a major problem: the search is greedy and only explores a ...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We consider the task of acoustic system identification, where the input signal undergoes a memoryless nonlinear transformation before convolving with an unknown linear system. We...