Alternative proofs for "On unique localization of constrained-signal sources".
Shahrokh ValaeePeter KabalPublished in: IEEE Trans. Signal Process. (1994)
Keyphrases
- signal processing
- information sources
- non stationary
- high frequency
- signal strength
- theorem prover
- source separation
- frequency domain
- signal detection
- localization method
- blind source separation
- direction of arrival
- formal proof
- original signal
- natural deduction
- localization algorithm
- wavelet analysis
- databases
- multiple sources
- data sources
- image processing