1174 search results - page 41 / 235 » Derivation of Characteristic Formulae |
97
Voted
CAGD
2000
15 years 3 months ago
2000
We derive the stability inequality C i cibi for the B-splines bi from the formula for knot insertion. The key observation is that knot removal increases the norm of the B-spline ...
136
Voted
CAV
2008
Springer
15 years 6 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
125
click to vote
LWA
2004
15 years 5 months ago
2004
An ontology is a speci...cation of a conceptualization, a shared understanding of some domain of interest. The paper develops an algorithm that hierarchically groups words together...
117
Voted
PE
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we consider a discrete-time finite-buffer queue with correlated arrivals and service interruptions and the corresponding infinite-buffer queue. Under some assumptio...
119
Voted
COCO
2009
Springer
15 years 10 months ago
2009
Springer
Devising an efficient deterministic – or even a nondeterministic sub-exponential time – algorithm for testing polynomial identities is a fundamental problem in algebraic comp...