Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Svatos, Martin"'
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial objects, e.g.,
Externí odkaz:
http://arxiv.org/abs/2302.04606
Lifted Relational Neural Networks (LRNNs) describe relational domains using weighted first-order rules which act as templates for constructing feed-forward neural networks. While previous work has shown that using LRNNs can lead to state-of-the-art r
Externí odkaz:
http://arxiv.org/abs/1710.02221
Autor:
Svatoš, Martin
Publikováno v:
Listy filologické / Folia philologica, 2019 Jan 01. 142(3/4), 465-472.
Externí odkaz:
https://www.jstor.org/stable/26904343
Publikováno v:
Listy filologické / Folia philologica, 2014 Jan 01. 137(3/4), 351-355.
Externí odkaz:
https://www.jstor.org/stable/24623290
Publikováno v:
Listy filologické / Folia philologica, 2013 Jan 01. 136(3/4), 511-516.
Externí odkaz:
https://www.jstor.org/stable/24623249
Publikováno v:
Listy filologické / Folia philologica, 2012 Jan 01. 135(3/4), 421-426.
Externí odkaz:
https://www.jstor.org/stable/23468820
Publikováno v:
Listy filologické / Folia philologica, 2011 Jan 01. 134(3/4), 381-390.
Externí odkaz:
https://www.jstor.org/stable/23468761
Publikováno v:
Listy filologické / Folia philologica, 2010 Jan 01. 133(3/4), 409-418.
Externí odkaz:
https://www.jstor.org/stable/23468666
Publikováno v:
Listy filologické / Folia philologica, 2008 Jan 01. 131(3/4), 513-518.
Externí odkaz:
https://www.jstor.org/stable/23468585
Autor:
Svatoš, Martin
Publikováno v:
Listy filologické / Folia philologica, 2007 Jan 01. 130(1/2), 153-157.
Externí odkaz:
https://www.jstor.org/stable/23468495