666 search results - page 110 / 134 » Inspector Methods for State Abstraction |
MLDM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Regression models are often required for controlling production processes by predicting parameter values. However, the implicit assumption of standard regression techniqu...
85
Voted
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, ...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Despite primary space-time coding where the channel state information (CSI) is available at the receiver only, the capacity and performance of multiple-input multiple-o...
ACIVS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Most existing feature-point matching algorithms rely on photometric region descriptors to distinct and match feature points in two images. In this paper, we propose an eď...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...