4324 search results - page 149 / 865 » A Generalized Representer Theorem |
149
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
I study the class of problems efficiently solvable by a quantum computer, given the ability to "postselect" on the outcomes of measurements. I prove that this class coin...
144
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
127
click to vote
EJC
2000
15 years 4 months ago
2000
We study the zeros of two families of polynomials related to rook theory and matchings in graphs. One of these families is based on the cover polynomial of a digraph introduced by ...
101
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— Gait evaluation techniques that use Stokes’s theorem to integrate a system’s equations of motion have traditionally been limited to finding only the net rotations ...
118
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this...