3381 search results - page 262 / 677 » Extending Dependencies with Conditions |
199
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
141
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We characterize the stability and achievable performance of networked estimation under correlated packet losses described by the Gilbert-Elliot model. For scalar contin...
101
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— In this paper we consider the problem of reconstructing a curve that is partially hidden or corrupted by minimizing the functional R √ 1 + K2 ds, depending both on le...
164
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper addresses the exact transformation of nonlinear systems into a multiple model form with unmeasurable premise variables. The multiple model structure serves to treat ...
165
click to vote
JSSPP
2001
Springer
15 years 11 months ago
2001
Springer
The arrival process of jobs submitted to a parallel system is bursty, leading to fluctuations in the load at many time scales. In particular, rare events of extreme load may occu...