8828 search results - page 1307 / 1766 » Formal methods in practice |
181
click to vote
TR
2010
15 years 1 months ago
2010
Previous work on planning accelerated life tests has been based on large-sample approximations to evaluate test plan properties. In this paper, we use more accurate simulation met...
208
click to vote
TWC
2010
15 years 1 months ago
2010
The closed-loop transmit diversity technique is used to improve the performance of the downlink channel in MIMO communication systems. In these closed-loop systems, feedback delay...
193
Voted
CORR
2011
Springer
15 years 1 months ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
246
click to vote
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
Accurate estimation and tracking of dynamic tissue deformation is important to motion compensation, intra-operative surgical guidance and navigation in minimally invasive surgery. ...
184
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
It has been shown that the principal subspace based multi-channel Wiener filter (MWF) provides better performance than the conventional MWF for the interference suppression in th...