Výsledky vyhľadávania - Programming Tech- niques—Logic Programming General Terms Algorithms

Policy expressivity in the Anzere personal cloud

Autori: Oriana Riva Qin Yin Dejan Juric a ďalší

Prispievatelia: Oriana Riva Qin Yin Dejan Juric a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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.

Autori: Schneider-Kamp, Peter Giesl, Jürgen Serebrenik, Alexander a ďalší

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

Predmety: 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

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

The myth of the one true logic.

Autori: Brachman, Ronald J.

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

HR

Autori: Angelo DeNisi Ricky Griffin

Typ zdroja: eBook.

Kategórie: BUSINESS & ECONOMICS / General