Zobrazeno 1 - 10
of 343
pro vyhledávání: '"Sebastiani, R."'
Autor:
Patel-Schneider, P. F., Sebastiani, R.
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 18, pages 351-389, 2003
The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive empirical tests for modal logics is recent, and so far none of the prop
Externí odkaz:
http://arxiv.org/abs/1106.5261
Autor:
Sebastiani, R.
Publikováno v:
Journal of Artificial Intelligence Research, Vol 1, (1994), 309-314
In this paper we describe how to modify GSAT so that it can be applied to non-clausal formulas. The idea is to use a particular ``score'' function which gives the number of clauses of the CNF conversion of a formula which are false under a given trut
Externí odkaz:
http://arxiv.org/abs/cs/9406102
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.
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.
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.
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.
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.
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:
Triggiani, M., Iacovoni, A., Fiocchi, R., Sebastiani, R., Deyneka, K., Ferrazzi, P., Gamba, A.
Publikováno v:
In Transplantation Proceedings 2008 40(6):1996-1998
