3974 search results - page 642 / 795 » Metric Functional Dependencies |
127
Voted
DFG
2004
Springer
15 years 9 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
135
click to vote
ICA
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we address the problem of Least-Squares (LS) optimal FIR inverse-filtering of an convolutive mixing system, given by a set of acoustic impulse responses (AIRs). The ...
133
Voted
KR
2004
Springer
15 years 9 months ago
2004
Springer
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
148
Voted
PARA
2004
Springer
15 years 9 months ago
2004
Springer
During the last half-decade, a number of research efforts have centered around developing software for generating automatically tuned matrix multiplication kernels. These include ...
120
click to vote
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...