Bayesian Mrf-Based Blind Source Separation Of Convolutive Mixtures Of Images

Authors: TONAZZINI A, GERACE, Ivan

Source: EUSIPCO 2005. 13th European Signal Processing Conference, Antalya, 4-8 September 2005
info:cnr-pdr/source/autori:Tonazzini A.; Gerace I./congresso_nome:EUSIPCO 2005. 13th European Signal Processing Conference/congresso_luogo:Antalya/congresso_data:4-8 September 2005/anno:2005/pagina_da:/pagina_a:/intervallo_pagine

Subject Terms: MRF image models, I.2.6 Learning, G.3 Probability and Statistics. Probabilistic algorithms (including Monte Carlo), Multichannel deconvolution, Document analysis, I.4 Image processing and computer vision, Bayesian estimation, I.4.6 Segmentation

File Description: application/pdf

Access URL: http://www.cnr.it/prodotto/i/91176
https://publications.cnr.it/doc/91176
https://ieeexplore.ieee.org/document/7078446/
https://sandbox.zenodo.org/record/39364
http://kilyos.ee.bilkent.edu.tr/~signal/defevent/papers/cr1955.pdf
http://signal.ee.bilkent.edu.tr/defevent/papers/cr1955.pdf
http://muscle.ercim.eu/images/DocumentPDF/MP_368_Tonazzini_2005_EUSIPCO.pdf
https://dblp.uni-trier.de/db/conf/eusipco/eusipco2005.html#TonazziniG05
https://hdl.handle.net/20.500.14243/57630
https://hdl.handle.net/11391/140939

Estimation Of Time-Varying Autoregressive Symmetric Alpha Stable Processes By Particle Filters

Authors: Gencaga D., Kuruoglu E. E., Ertuzun A.

Source: ISTI Technical reports, 2006

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, G.3 PROBABILITY AND STATISTICS . Probabilistic algorithms (including, 60G52 Stable processes, 02 engineering and technology, 0101 mathematics, Alpha-stable distributions, 01 natural sciences

Access URL: http://www.cnr.it/prodotto/i/160308
https://publications.cnr.it/doc/160308

Designing programs that check their work

Authors: Manuel Blum, Sampath Kannan

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://logic.csci.unt.edu/tarau/teaching/softeng/old/paperstodiscuss/3softwaretestingandmetrics/p269-blum.pdf.

Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program verification-cor- rectness proofs, reliability, F.2.0 IAnalysis of Algorithms and Problem Complexity, General, F.3.1 [Logics and Meanings of Progrmas, Specifying and Verifying and Reasoning about Programs, G.3 [Probability and Statistics]-probabilistic algorithms (including Monte Carlo) General Terms, Algorithms, Design, Theory, Verification Additional Key Words and Phrases, Interactive proofs, probabilistic algorithms, program check- ing

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.549.2300

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.549.2300
http://logic.csci.unt.edu/tarau/teaching/softeng/old/paperstodiscuss/3softwaretestingandmetrics/p269-blum.pdf

Reasoning with Recursive Loops Under the PLP Framework

Authors: Yi-dong Shen

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.lcs.ios.ac.cn/~ydshen/a27-shen.pdf.

Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming, G.3 [Probability and Statistics]—Probabilistic algorithms (including Monte Carlo) General Terms, Languages, Theory Additional Key Words and Phrases, Bayesian networks, recursive loops, cyclic influences, the well-founded model ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.162.1011

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.162.1011
http://www.lcs.ios.ac.cn/~ydshen/a27-shen.pdf