749 search results - page 59 / 150 » Scenario based Analysis of Linear Computations |
152
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
109
click to vote
TSP
2008
15 years 3 months ago
2008
We present a reduced-complexity soft detection (RCSD) scheme geared to multiple-input multiple-output (MIMO) systems with spatial domain multiplexing leading to layered space-time ...
143
Voted
JMIV
2010
14 years 10 months ago
2010
This paper proposes robust algorithms to deconvolve discrete noised signals and images. The solutions are derived as linear combinations of spline wavelet packets that minimize so...
203
Voted
AIME
2011
Springer
14 years 4 months ago
2011
Springer
Heart rate variability (HRV) analysis can be successfully applied to automatic classification of cardiac rhythm abnormalities. This paper presents a novel Java-based computer frame...
132
click to vote
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Tracking of curvilinear structures is a task of fundamental importance in the quantitative analysis of biological structures such as neurons, blood vessels, retinal interconnects,...