Search Sciweavers | Sciweavers

2766 search results - page 15 / 554

» Algorithms for trigonometric polynomials

click to vote

ESOP
2010
Springer

195views Programming Languages» more ESOP 2010»

Amortized Resource Analysis with Polynomial Potential - A Static Inference of Polynomial Bounds for Functional Programs

14 years 5 months ago

Download www2.tcs.ifi.lmu.de

In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...

Jan Hoffmann and Martin Hofmann

claim paper

Read More »

click to vote

MST
2010

105views more MST 2010»

On the Automatizability of Polynomial Calculus

13 years 6 months ago

Download www.dsi.uniroma1.it

Abstract We prove that Polynomial Calculus and Polynomial Calculus with Resolution are not automatizable, unless W[P]-hard problems are ﬁxed parameter tractable by one-side error...

Nicola Galesi, Massimo Lauria

claim paper

Read More »

click to vote

CORR
2010
Springer

69views Education» more CORR 2010»

Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time

13 years 8 months ago

Download www.math.univ-toulouse.fr

In this paper we study planar polynomial differential systems of this form: dX dt = X = A(X, Y ), dY dt = Y = B(X, Y ), where A, B Z[X, Y ] and deg A d, deg B d, A H and B H. ...

Guillaume Chèze

claim paper

Read More »

click to vote

ESA
2009
Springer

131views Algorithms» more ESA 2009»

Solving Dominating Set in Larger Classes of Graphs: FPT Algorithms and Polynomial Kernels

14 years 3 months ago

Download www.imsc.res.in

Abstract. We show that the k-Dominating Set problem is ﬁxed parameter tractable (FPT) and has a polynomial kernel for any class of

Geevarghese Philip, Venkatesh Raman, Somnath Sikda...

claim paper