1695 search results - page 12 / 339 » Linear, Polynomial or Exponential |
130
click to vote
JSC
2010
14 years 7 months ago
2010
The linear complete differential resultant of a finite set of linear ordinary differential polynomials is defined. We study the computation by linear complete differential resulta...
100
click to vote
JAT
2010
14 years 7 months ago
2010
We describe the theoretical solution of an approximation problem that uses a finite weighted sum of complex exponential functions. The problem arises in an optimization model for t...
107
click to vote
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
88
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Trees can be conveniently compressed with linear straight-line contextfree tree grammars. Such grammars generalize straight-line context-free string grammars which are wi...
110
click to vote
SIAMDM
2002
15 years 9 days ago
2002
Let Hn be the number of claw-free cubic graphs on 2n labeled nodes. Combinatorial reductions are used to derive a second order, linear homogeneous differential equation with polyno...