16626 search results - page 2940 / 3326 » Computing is a natural science |
162
click to vote
JMLR
2006
15 years 7 months ago
2006
We propose an active set algorithm to solve the convex quadratic programming (QP) problem which is the core of the support vector machine (SVM) training. The underlying method is ...
164
click to vote
JMM2
2006
15 years 7 months ago
2006
This paper proposes a new target detection method in low contrast forward looking infrared (FLIR) images. Automatic detection of small targets in remotely sensed images is a diffic...
193
click to vote
MAGS
2008
15 years 7 months ago
2008
Embodied Conversational Agents (ECAs) are computer generated life-like characters that interact with human users in face-to-face conversations. To achieve natural multi-modal conve...
206
click to vote
MCS
2008
Springer
15 years 7 months ago
2008
Springer
In many real-life applications of optimal control problems with constraints in form of partial differential equations (PDEs), hyperbolic equations are involved which typically desc...
212
click to vote
ENTCS
2007
15 years 7 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...