2446 search results - page 67 / 490 » Principles of dataspace systems |
LICS
1994
IEEE
14 years 2 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
EUSFLAT
2001
13 years 11 months ago
2001
This paper advances a fuzzy control strategy of the phase angle between the voltage and the current of a variable RL load using the system introduced in [3].- This control method ...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
In this paper the performance limits and design principles of rateless codes over fading channels are studied. The diversity-multiplexing tradeoff (DMT) is used to analyze the syst...
ENGL
2007
13 years 10 months ago
2007
—Instantaneous detection and diagnosis of various faults and break-downs in industrial processes is required to reduce production losses and damage to equipments. A solved knowle...
SIAMJO
2011
13 years 1 months ago
2011
Suppose we are given a matrix that is formed by adding an unknown sparse matrix to an unknown low-rank matrix. Our goal is to decompose the given matrix into its sparse and low-ran...