3333 search results - page 321 / 667 » Abstract Proof Search |
169
click to vote
KI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
158
Voted
ICRA
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— We present a path planning algorithm for a polyhedral robot with six degrees of freedom (6DOF) and a static obstacle. The planner consists of a dual-tree RRT algorithm ...
133
click to vote
ACII
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Recent findings demonstrated that negative emotional faces (sad, anger or fear) tend to attract attention more than positive faces do. This study used the paradigm of vis...
206
click to vote
ICANN
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Radial basis function (RBF) kernels are widely used for support vector machines. But for model selection, we need to optimize the kernel parameter and the margin paramete...
160
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present some techniques for handling planning problems with numerical expressions that can be specified using the standard planning language PDDL. These techniques ar...