Sciweavers

2516 search results - page 12 / 504
» When is there a representer theorem
Sort
View
VIS
2004
IEEE
98views Visualization» more  VIS 2004»
16 years 7 months ago
Linear and Cubic Box Splines for the Body Centered Cubic Lattice
In this paper we derive piecewise linear and piecewise cubic box spline reconstruction filters for data sampled on the body centered cubic (BCC) lattice. We analytically derive a ...
Alireza Entezari, Ramsay Dyer, Torsten Möller
FLAIRS
2003
15 years 7 months ago
Proving Harder Theorems by Axiom Reduction
Automated Theorem Proving (ATP) problems may contain unnecessary axioms, either because some of the axiomatization of the theory is irrelevant to the particular theorem, or becaus...
Geoff Sutcliffe, Alexander Dvorský
CORR
2011
Springer
153views Education» more  CORR 2011»
15 years 1 months ago
A short proof of the Quantum Substate Theorem
The Quantum Substate Theorem due to Jain, Radhakrishnan, and Sen [7] gives us a powerful operational interpretation of the observational divergence of two quantum states, a quanti...
Rahul Jain, Ashwin Nayak
EJC
2006
15 years 6 months ago
Product representations of polynomials
For a fixed polyomial f Z[X], let k(N) denote the maximum size of a set A {1, 2, . . . , N} such that no product of k distinct elements of A is in the value set of f. In this pap...
Jacques Verstraëte
CVPR
2003
IEEE
16 years 8 months ago
Direct 3D-Rotation Estimation from Spherical Images via a Generalized Shift Theorem
Omnidirectional images arising from 3D-motion of a camera contain persistent structures over a large variation of motions because of their large field of view. This persistence ma...
Ameesh Makadia, Kostas Daniilidis