Výsledky vyhledávání - Nonnumerical Algorithms and Problems—Complexity of proof proce- dures General Terms

PSPACE bounds for rank 1 modal logics

Autoři: Dirk Pattinson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dirk Pattinson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://users.cecs.anu.edu.au/%7Edpattinson/Publications/tocl2009.pdf.

Témata: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Modal Logic, Computational Logic, F.2.2. [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of Proof Proce- dures General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Shallow models, resolution, coalgebra

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.8626; http://users.cecs.anu.edu.au/%7Edpattinson/Publications/tocl2009.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.8626
http://users.cecs.anu.edu.au/%7Edpattinson/Publications/tocl2009.pdf

Resiliency Policies in Access Control

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: https://www.cs.purdue.edu/homes/ninghui/papers/resiliency_tissec.pdf.

Témata: Categories and Subject Descriptors, D.4.6 [Operating Systems, Security and Protection—Access controls, K.6.5 [Management of Computing and Information Systems, Security and Protection, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof proce- dures General Terms, Security, Theory Additional Key Words and Phrases, Access Control, Fault-tolerant, Policy Design

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.3719

On Mutually-Exclusive Roles and Separation of

Autoři: Ninghui Li Mahesh V. Tripunitara Ziad Bizri a další

Přispěvatelé: Ninghui Li Mahesh V. Tripunitara Ziad Bizri a další

Zdroj: https://www.cs.purdue.edu/homes/ninghui/papers/sod-j.pdf.

Témata: Categories and Subject Descriptors, D.4.6 [Operating Systems, Security and Protection—Access controls, K.6.5 [Management of Computing and Information Systems, Security and Protection, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof proce- dures General Terms, Security, Theory Additional Key Words and Phrases, role-based access control, separation of duty, constraints, verification, com- putational

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.681.7590

An Approximation Algorithm for Scheduling Malleable Tasks under General Precedence Constraints.

Autoři: Jansen, Klaus Zhang, Hu

Zdroj: ACM Transactions on Algorithms; 2006, Vol. 2 Issue 3, p416-434, 19p

Témata: ALGORITHMS, COMPUTATIONAL mathematics, ALGEBRA, COMPUTER programming, MATHEMATICAL analysis, INFORMATION technology

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

An Approximation Scheme for Stochastic Linear Programming and Its Application to Stochastic Integer Programs.

Autoři: Shmoys, David B. Swamy, Chaitanya

Zdroj: Journal of the ACM; Nov2006, Vol. 53 Issue 6, p978-1012, 35p

Témata: STOCHASTIC analysis, MATHEMATICAL optimization, PROBABILITY theory, LINEAR statistical models, POLYNOMIALS, ALGORITHMS

PSPACE Bounds for Rank-1 Modal Logics.

Autoři: Schröder, Lutz Pattinson, Dirk

Zdroj: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p13-13.33, 33p, 2 Diagrams

Témata: ALGORITHMS, TECHNOLOGICAL complexity, COMPUTATIONAL complexity, PROGRAMMING languages, MATHEMATICAL logic

Truthful Mechanisms with Implicit Payment Computation.

Autoři: Babaioff, Moshe Kleinbergy, Robert D. Slivkins, Aleksandrs

Zdroj: EC: Electronic Commerce; 2010, p43-52, 10p

Témata: AUCTIONS, BIDDING strategies, BIDDERS, PAYMENT, ALGORITHMS, MANAGEMENT

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Mar1982, Vol. 25 Issue 3, p213-215, 3p

Témata: COMPUTER science, DATA flow computing, FORTRAN, COMPUTER software

Korporace: ASSOCIATION for Computing Machinery

PROGRAM VERIFICATION: THE VERY IDEA.

Autoři: Fetzer, James H.

Zdroj: Communications of the ACM; Sep88, Vol. 31 Issue 9, p1048-1063, 16p, 2 Diagrams, 3 Charts

Témata: SOFTWARE verification, RELIABILITY in engineering

Compressing and Indexing Labeled Trees, with Applications.

Autoři: FERRAGINA, PAOLO LUCCIO, FABRIZIO MANZINI, GIOVANNI a další

Zdroj: Journal of the ACM; Nov2009, Vol. 57 Issue 1, p4-4:33, 33p, 2 Diagrams, 18 Charts

Témata: XML (Extensible Markup Language), ERGODIC theory, DOCUMENT markup languages, WEB development, DOCUMENT type definitions, WEBSITES, COMPUTER science research

Efficient Algorithms for Bichromatic Separability.

Autoři: AGARWAL, PANKAJ K. ARONOV, BORIS KOLTUN, VLADLEN

Zdroj: ACM Transactions on Algorithms; 2006, Vol. 2 Issue 2, p209-227, 19p

Témata: GEOMETRY, ALGORITHMS, PRISMS, BEAM splitters, MAGNITUDE estimation, STATISTICS

Optimal Branch-Decomposition of Planar Graphs in O(n³) Time.

Autoři: QIAN-PING GU HISAO TAMAKI

Zdroj: ACM Transactions on Algorithms; 2008, Vol. 4 Issue 3, p30-30:13, 13p, 2 Diagrams, 2 Charts

Témata: ALGORITHMS, MATHEMATICAL analysis, NUMERICAL analysis, COMPUTATIONAL mathematics, GRAPH theory, POLYNOMIALS

A New Perspective on Implementation by Voting Trees.

Autoři: Fischer, Felix Procaccia, Ariel D. Samorodnitsky, Alex

Zdroj: EC: Electronic Commerce; 2009, p31-40, 10p, 2 Diagrams

Témata: APPROXIMATION theory, DECISION making, MARKOV processes, DIFFUSION processes, STOCHASTIC processes, PROBLEM solving, CHEBYSHEV systems

Approximate Shared-Memory Counting Despite a Strong Adversary.

Autoři: Aspnes, James Censor, Keren

Zdroj: ACM Transactions on Algorithms; 2010, Vol. 6 Issue 2, p25:1-25:23, 23p

Témata: APPROXIMATION theory, MATHEMATICAL models, OPERATOR algebras, MATHEMATICAL statistics, PROBABILITY measures, MATHEMATICAL variables

Extraction and Classification of Dense Implicit Communities in the Web Graph.

Autoři: DOURISBOURE, YON GERACI, FILIPPO PELLEGRINI, MARCO

Zdroj: ACM Transactions on the Web; Apr2009, Vol. 3 Issue 2, p7-7-36, 36p, 9 Diagrams, 9 Charts, 1 Graph

Témata: WORLD Wide Web, INFORMATION sharing, COMPUTER science literature, HYPERLINKS, KEYWORDS

New Technologies, Development and Application VIII

Autoři: Isak Karabegović Ahmed Kovačević Sadko Mandžuka

Resource Type: eBook.

Témata: Technological innovations--Congresses, Industry 4.0--Congresses, Automation--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

ECAI 2023 : 26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)

Autoři: Kobi Gal Ann Nowé Grzegorz J. Nalepa a další

Resource Type: eBook.

Categories: COMPUTERS / Artificial Intelligence / General

Computing Handbook : Two-Volume Set

Autoři: Allen Tucker Teofilo Gonzalez Heikki Topi a další

Resource Type: eBook.

Témata: QA76

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Information Technology, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Engineering, MATHEMATICS / General, MATHEMATICS / Arithmetic

Probabilistic and Causal Inference : The Works of Judea Pearl

Autoři: Hector Geffner Rina Dechter Joseph Halpern

Resource Type: eBook.

Témata: Causation, Artificial intelligence, Probabilities

Categories: COMPUTERS / Data Science / Machine Learning, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems