×

Found 342 Documents (Results 1–100)

100
MathJax

Interpretable exact linear reductions via positivity. (English) Zbl 1489.92059

Cinquemani, Eugenio (ed.) et al., Computational methods in systems biology. 19th international conference, CMSB 2021, Bordeaux, France, September 22–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12881, 91-107 (2021).
MSC:  92C45 92C42 92-08
PDF BibTeX XML Cite
Full Text: DOI

Trinity: trust, resilience and interpretability of machine learning models. (English) Zbl 07526410

Kamhoua, Charles A. (ed.) et al., Game theory and machine learning for cyber security. Piscataway, NJ: IEEE Press; Hoboken, NJ: John Wiley & Sons. 317-333 (2021).
MSC:  68M25 68T05 91A80
PDF BibTeX XML Cite
Full Text: DOI

A deeper look at machine learning-based cryptanalysis. (English) Zbl 07440600

Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2021. 40th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, October 17–21, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12696, 805-835 (2021).
MSC:  68Txx 68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI

Explainable fuzzy systems. Paving the way from interpretable fuzzy systems to explainable AI systems. (English) Zbl 1470.93089

Studies in Computational Intelligence 970. Cham: Springer (ISBN 978-3-030-71097-2/hbk; 978-3-030-71098-9/ebook). xxxi, 232 p. (2021).
MSC:  93C42 03E72 93B51
PDF BibTeX XML Cite
Full Text: DOI

Interpretable classification of time-series data using efficient enumerative techniques. (English) Zbl 07300850

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 9, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

On relating theories: proof-theoretical reduction. (English) Zbl 1469.03160

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 311-331 (2019).
PDF BibTeX XML Cite
Full Text: DOI Link

Explaining completions produced by embeddings of knowledge graphs. (English) Zbl 07170144

Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 324-335 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Interpretability of gradual semantics in abstract argumentation. (English) Zbl 07170120

Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 27-38 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI HAL

Classification of splice-junction DNA sequences using multi-objective genetic-fuzzy optimization techniques. (English) Zbl 1489.92110

Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 16th international conference, ICAISC 2017, Zakopane, Poland, June 11–15, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10245, 638-648 (2017).
MSC:  92D20 62H86 90C70
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software