1984 search results - page 141 / 397 » The colourful feasibility problem |
ML
2002
ACM
13 years 10 months ago
2002
ACM
The problem of automatically tuning multiple parameters for pattern recognition Support Vector Machines (SVMs) is considered. This is done by minimizing some estimates of the gener...
PAMI
2007
13 years 9 months ago
2007
This paper introduces a novel approach for solving the problem of camera calibration from spheres. By exploiting the relationship between the dual images of spheres and the dual i...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
—Inspired by the simplicity of how nature solves its problems, we implement a bacteria controller on a physical platform that would enable the localisation and subsequent mapping...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
ESSLLI
2009
Springer
13 years 8 months ago
2009
Springer
The polynomial path order (POP for short) is a termination method that induces polynomial bounds on the innermost runtime complexity of term rewrite systems (TRSs for short). Seman...