Výsledky vyhledávání - programming (tech OR techn)- niques—logic programming general terms algorithms*

Policy expressivity in the Anzere personal cloud

Autoři: Oriana Riva Qin Yin Dejan Juric a další

Přispěvatelé: Oriana Riva Qin Yin Dejan Juric a další

Zdroj: http://people.inf.ethz.ch/troscoe/pubs/socc11-anzere.pdf.

Témata: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Dis- tributed Systems, D.1.6 [Software, Programming Tech- niques—Logic Programming General Terms Algorithms, Design, Experimentation Keywords Replication systems, overlay networks, cloud computing, mobile

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1872

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1872
http://people.inf.ethz.ch/troscoe/pubs/socc11-anzere.pdf

Automated Termination Proofs for Logic Programs by Term Rewriting.

Autoři: Schneider-Kamp, Peter Giesl, Jürgen Serebrenik, Alexander a další

Zdroj: ACM Transactions on Computational Logic; Oct2009, Vol. 11 Issue 1, p2-2:52, 52p, 4 Charts

Témata: REWRITING systems (Computer science), COMPUTER software termination, LOGIC programming, MATHEMATICAL transformations, INFINITY (Mathematics)

Annotated Probabilistic Temporal Logic.

Zdroj: ACM Transactions on Computational Logic; Jan2011, Vol. 12 Issue 2, p14-14:44, 44p

Témata: LOGIC programming, DISTRIBUTION (Probability theory), ARTIFICIAL intelligence, ALGORITHMS, LINEAR programming, COMPUTATIONAL complexity, SET theory, MATHEMATICAL formulas

The myth of the one true logic.

Autoři: Brachman, Ronald J.

Zdroj: Computational Intelligence; Feb1987, Vol. 3 Issue 1, p168-172, 5p

HR

Autoři: Angelo DeNisi Ricky Griffin

Resource Type: eBook.

Categories: BUSINESS & ECONOMICS / General