4315 search results - page 106 / 863 » Sorting in linear time |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
INFORMATICALT
1998
13 years 8 months ago
1998
Abstract. In the previous papers (Masreliez and Martin, 1977; Novoviˇcova, 1987; Schick and Mitter, 1994) the problem of recursive estimation of linear dynamic systems parameters ...
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Orthogonal space-time block-coded (OSTBC) orthogonal frequency-division multiplexing (OFDM) links for frequency-selective multiple-input multiple-output (MIMO) channels...
SIAMCO
2002
13 years 8 months ago
2002
In this paper we develop and present new convex synthesis conditions for robust performance in linear time-varying systems, subject to time-varying perturbations. In particular, th...