4666 search results - page 80 / 934 » Equations on Timed Languages |
98
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, a wavelet based approach is proposed for the model order reduction of linear circuits in time domain. Compared with Chebyshev reduction method, the wavelet reductio...
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
116
Voted
ICASSP
2009
IEEE
14 years 10 months ago
2009
IEEE
A unified framework to jointly solve the two problems of localization and synchronization at the same time is presented in this paper. The joint approach is attractive because it ...
110
Voted
SIAMCO
2010
14 years 7 months ago
2010
We consider a target problem for a nonlinear system under state constraints. We give a new continuous level-set approach for characterizing the optimal times and the backward-reach...
105
click to vote
LFP
1990
15 years 1 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...