5639 search results - page 933 / 1128 » Timed Abstract Non-interference |
131
click to vote
ADCM
2008
15 years 3 months ago
2008
Abstract. Signals with finite rate of innovation are those signals having finite degrees of freedom per unit of time that specify them. In this paper, we introduce a prototypical s...
126
click to vote
APIN
2008
15 years 3 months ago
2008
Abstract-Mining generalized association rules between items in the presence of taxonomy has been recognized as an important model in data mining. Earlier work on mining generalized...
135
Voted
ARC
2010
Springer
15 years 3 months ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
121
click to vote
CCE
2008
15 years 3 months ago
2008
We present a novel approach for solving different design problems related to single products in multipurpose batch plants: the selection of one production line out of several avai...
123
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...