×

Found 79 Documents (Results 1–79)

NIL: learning nonlinear interpolants. (English) Zbl 07178976

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 178-196 (2019).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

A hemimetric extension of simulation for semi-Markov decision processes. (English) Zbl 1514.68192

McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 339-355 (2018).
MSC:  68Q87 03B70 68Q85
PDFBibTeX XMLCite
Full Text: DOI

The beta-Bernoulli process and algebraic effects. (English) Zbl 1499.68068

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 141, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

(Ir)relevant t-norm joint distributions in the arithmetic of fuzzy quantities. (English) Zbl 1455.68214

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 3-11 (2016).
MSC:  68T37 03E72
PDFBibTeX XMLCite
Full Text: DOI

Generalized product. (English) Zbl 1415.68231

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 289-295 (2014).
MSC:  68T37 03E72
PDFBibTeX XMLCite
Full Text: DOI Link

Nestings of t-conorms. (English) Zbl 1246.03048

Di Gesù, Vito (ed.) et al., Fuzzy logic and applications. 8th international workshop, WILF 2009, Palermo, Italy, June 9–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02281-4/pbk). Lecture Notes in Computer Science 5571. Lecture Notes in Artificial Intelligence, 52-59 (2009).
MSC:  03B52
PDFBibTeX XMLCite
Full Text: DOI

Computability of topological pressure for shifts of finite type with applications in statistical physics. (English) Zbl 1262.03094

Dilhage, R. (ed.) et al., Proceedings of the fourth international conference on computability and complexity in analysis (CCA 2007), Siena, Italy, June 16–18, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 202, 385-401 (2008).
MSC:  03D78 37D35 54H20 82B05
PDFBibTeX XMLCite
Full Text: DOI

Computing the topological entropy of shifts. (English) Zbl 1262.37012

Cenzer, D. (ed.) et al., Proceedings of the 3rd international conference on computability and complexity in analysis (CCA 2006), Gainesville, FL, USA, November 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 167, 131-155 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software