3555 search results - page 238 / 711 » Security-Critical System Development with Extended Use Cases |
127
Voted
AUTOMATICA
2008
15 years 5 months ago
2008
This paper consists of two parts. The first part is the development of a datadriven Kalman filter for a non-uniformly sampled multirate (NUSM) system, including identification of ...
157
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
134
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
129
click to vote
TSMC
2002
15 years 4 months ago
2002
Alerting systems and related decision-making automation are widely used to enhance the safety and capability of controlled processes across many applications. Traditional alerting ...
116
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
Although a huge amount of remote sensing data has been provided by Earth observation satellites, few data manipulation techniques and information extraction in large data sets hav...