Zobrazeno 1 - 10
of 7 919
pro vyhledávání: '"rewriting system"'
The $Reflection$ $Calculus$ ($\mathcal{\mathbf{RC}}$) is the fragment of the polymodal logic $\mathcal{\mathbf{GLP}}$ in the language $L^+$ whose formulas are built up from $\top$ and propositional variables using conjunction and diamond modalities.
Externí odkaz:
http://arxiv.org/abs/2407.13619
Modern neural network architectures still struggle to learn algorithmic procedures that require to systematically apply compositional rules to solve out-of-distribution problem instances. In this work, we focus on formula simplification problems, a c
Externí odkaz:
http://arxiv.org/abs/2402.17407
Although lyrics generation has achieved significant progress in recent years, it has limited practical applications because the generated lyrics cannot be performed without composing compatible melodies. In this work, we bridge this practical gap by
Externí odkaz:
http://arxiv.org/abs/2211.15037
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Adinayev, Arthur, Stein, Itamar
In this paper, we study a certain case of a subgraph isomorphism problem. We consider the Hasse diagram of the lattice $M_{k}$ (the unique lattice with $k+2$ elements and one anti-chain of length $k$) and want to find the maximal $k$ for which it is
Externí odkaz:
http://arxiv.org/abs/1910.02644
Publikováno v:
In Computers & Security October 2020 97
Publikováno v:
J.Control.Decis. 5 (2018) 42-60
We describe a modular rewriting system for translating optimization problems written in a domain-specific language to forms compatible with low-level solver interfaces. Translation is facilitated by reductions, which accept a category of problems and
Externí odkaz:
http://arxiv.org/abs/1709.04494
Publikováno v:
Computers & Security Journal, 2020
We propose in this paper a new approach to assess the relationship between XACML policies. Our approach spans over three steps. In the first one, the XACML policies are mapped to terms of a boolean ring while taking into account XACML policy and rule
Externí odkaz:
http://arxiv.org/abs/1605.05887
Autor:
Zhang, Linda L. a, ⁎, Jiao, Roger J. b
Publikováno v:
In Decision Support Systems January 2013 54(2):1174-1191
Autor:
Çetinalp, Esra Kırmızı1 esrakirmizi@kmu.edu.tr, Karpuz, Eylem Güzel1 eylem.guzel@kmu.edu.tr, Şahin, Recep2 rsahin@balikesir.edu.tr, Ateş, Firat2 firat@balikesir.edu.tr
Publikováno v:
Journal of Mathematical Extension. 2019, Vol. 13 Issue 4, p41-55. 15p.