A Fast Algorithm for Exact Histogram Specification. Simple Extension to Colour Images

Autor: Mila Nikolova

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642382666
SSVM
Book Chapter Pages 174-185 A Fast Algorithm for Exact Histogram Specification. Simple Extension to Colour Images
Book Chapter Pages 174-185 A Fast Algorithm for Exact Histogram Specification. Simple Extension to Colour Images, 7893, Springer, pp.174-185, 2013, Lecture Notes in Computer Science, 978-3-642-38266-6. ⟨10.1007/978-3-642-38267-3⟩

International audience; In [12] a variational method using C2-smoothed ℓ1-TV functionals was proposed to process digital (quantized) images so that the obtained minimizer is quite close to the input image but its pixels are all different from each

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a9f8b0974c3c8ba97a1769724622974
https://doi.org/10.1007/978-3-642-38267-3_15

SCL(EQ): SCL for First-Order Logic with Equality.

Autor: Leidinger, Hendrik, Weidenbach, Christoph

Publikováno v: Journal of Automated Reasoning; Sep2023, Vol. 67 Issue 3, p1-35, 35p

A Resolution Calculus for First-order Schemata.

Autor: Aravantinos, Vincent¹ Vincent.Aravantinos@imag.fr, Echenim, Mnacho² Mnacho.Echenim@imag.fr, Peltier, Nicolas¹ Nicolas.Peltier@imag.fr

Publikováno v: Fundamenta Informaticae. 2013, Vol. 125 Issue 2, p101-133. 33p. 2 Diagrams.

A multimodal logic for closeness.

Autor: Burrieza, A., Muñoz-Velasco, E., Ojeda-Aciego, M.

Publikováno v: Journal of Applied Non-Classical Logics; Sep-Dec2017, Vol. 27 Issue 3/4, p225-237, 13p

Automated Reasoning Building Blocks.

Autor: Weidenbach, Christoph

Publikováno v: Kohlenstoffgruppe: Elemente der Vierten Hauptgruppe; 2015, p172-188, 17p