Zobrazeno 1 - 10
of 121
pro vyhledávání: '"Kauranne, Tuomo"'
Autor:
Kauranne, Tuomo
The complexity class $NP$ can be logically characterized both through existential second order logic $SO\exists$, as proven by Fagin, and through simulating a Turing machine via the satisfiability problem of propositional logic SAT, as proven by Cook
Externí odkaz:
http://arxiv.org/abs/1410.4925
Publikováno v:
In Applied Soft Computing Journal December 2018 73:727-734
Publikováno v:
In Expert Systems With Applications 15 November 2018 110:216-236
Publikováno v:
In ISPRS Journal of Photogrammetry and Remote Sensing July 2015 105:120-127
Publikováno v:
In Pattern Recognition March 2015 48(3):941-952
Autor:
Kolesnikov, Alexander, Kauranne, Tuomo
Publikováno v:
In Pattern Recognition February 2014 47(2):623-633
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.
Publikováno v:
In ISPRS Journal of Photogrammetry and Remote Sensing November 2013 85:74-83
Publikováno v:
International Journal of Energy Sector Management, 2012, Vol. 6, Issue 3, pp. 343-364.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/17506221211259664