Sciweavers

4324 search results - page 150 / 865
» A Generalized Representer Theorem
Sort
View
CC
2010
Springer
117views System Software» more  CC 2010»
15 years 2 months ago
Efficiently Certifying Non-Integer Powers
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
Erich Kaltofen, Mark Lavin
CMA
2010
95views more  CMA 2010»
15 years 2 months ago
The Laplace transform on isolated time scales
Starting with a general definition of the Laplace transform on arbitrary time scales, we specify the Laplace transform on isolated time scales, prove several properties of the Lapl...
Martin Bohner, Gusein Sh. Guseinov
CORR
2011
Springer
169views Education» more  CORR 2011»
14 years 11 months ago
Linear-Time Algorithms for Graphs of Bounded Rankwidth: A Fresh Look Using Game Theory
d Abstract) Alexander Langer, Peter Rossmanith, and Somnath Sikdar RWTH Aachen University, 52074 Aachen, Germany. We present an alternative proof of a theorem by Courcelle, Makowsk...
Alexander Langer, Peter Rossmanith, Somnath Sikdar
JAPLL
2010
126views more  JAPLL 2010»
14 years 11 months ago
Justification logics and hybrid logics
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
Melvin Fitting
COMPGEOM
2011
ACM
14 years 8 months ago
On the structure and composition of forbidden sequences, with geometric applications
Forbidden substructure theorems have proved to be among of the most versatile tools in bounding the complexity of geometric objects and the running time of geometric algorithms. T...
Seth Pettie