3384 search results - page 80 / 677 » More Testable Properties |
FBT
2000
13 years 10 months ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
DAGSTUHL
1994
13 years 10 months ago
1994
In this article, we present how it is possible to recover physical parameters of objects such as reflectivity, emissivity and thermal inertia from the analysis of infrared images ...
CSDA
2007
13 years 8 months ago
2007
Abstract. Censored quantile regressions (CQR) are a valuable tool in economics and engineering. The computation of estimators is highly complex and the performance of standard meth...
ENTCS
2007
13 years 8 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
SCL
2008
13 years 8 months ago
2008
The Integral Input to State Stability (iISS) property is studied is the context of nonlinear time-invariant systems in cascade. Some sufficient conditions for the preservation of ...