1209 search results - page 63 / 242 » Approximation by pseudo-linear operators |
144
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
137
click to vote
MICAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
144
click to vote
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...
AUTOMATICA
2002
15 years 4 months ago
2002
A novel aproach to active surge control is presented for a centrifugal compressor driven by an electrical motor. The main idea of the paper is to use the drive itself for surge co...
141
click to vote
PAA
2008
15 years 3 months ago
2008
We present the study of a data-driven motion synthesis approach based on a 1D affine imagematching equation. We start by deriving the relevant properties of the exact matching oper...