2343 search results - page 101 / 469 » Visual-Concept Search Solved |
118
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
118
click to vote
TPLP
2008
15 years 4 months ago
2008
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...
119
click to vote
HRI
2009
ACM
15 years 11 months ago
2009
ACM
We describe recent work on PECAS, an architecture for intelligent robotics that supports multi-modal interaction. Categories and Subject Descriptors I.2.8 [Computing Methodologies...
134
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
The BFGS quasi-Newton method is benchmarked on the noiseless BBOB-2009 testbed. A multistart strategy is applied with a maximum number of function evaluations of 105 times the sea...
129
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
This paper describes the implementation and the results for CMA-EGS on the BBOB 2010 noisy testbed. The CMAEGS is a hybrid strategy which combines elements from gradient search an...