Search Results - Nonnumerical Algorithms and Problems—Complexity of Proof Proce- dures General Terms

PSPACE bounds for rank 1 modal logics

Authors: Dirk Pattinson The Pennsylvania State University CiteSeerX Archives

Contributors: Dirk Pattinson The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: 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

File Description: 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

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

Contributors: The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: 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

File Description: application/pdf

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

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

On Mutually-Exclusive Roles and Separation of

Authors: Ninghui Li Mahesh V. Tripunitara Ziad Bizri et al.

Contributors: Ninghui Li Mahesh V. Tripunitara Ziad Bizri et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

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

Authors: Jansen, Klaus Zhang, Hu

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

Subject Terms: ALGORITHMS, COMPUTATIONAL mathematics, ALGEBRA, COMPUTER programming, MATHEMATICAL analysis, INFORMATION technology

ABSTRACTS from other ACM Publications.

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

Subject Terms: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

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

Authors: Shmoys, David B. Swamy, Chaitanya

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

Subject Terms: STOCHASTIC analysis, MATHEMATICAL optimization, PROBABILITY theory, LINEAR statistical models, POLYNOMIALS, ALGORITHMS

PSPACE Bounds for Rank-1 Modal Logics.

Authors: Schröder, Lutz Pattinson, Dirk

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

Subject Terms: ALGORITHMS, TECHNOLOGICAL complexity, COMPUTATIONAL complexity, PROGRAMMING languages, MATHEMATICAL logic

Truthful Mechanisms with Implicit Payment Computation.

Authors: Babaioff, Moshe Kleinbergy, Robert D. Slivkins, Aleksandrs

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

Subject Terms: AUCTIONS, BIDDING strategies, BIDDERS, PAYMENT, ALGORITHMS, MANAGEMENT

ABSTRACTS from other ACM Publications.

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

Subject Terms: COMPUTER science, DATA flow computing, FORTRAN, COMPUTER software

Company/Entity: ASSOCIATION for Computing Machinery

PROGRAM VERIFICATION: THE VERY IDEA.

Authors: Fetzer, James H.

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

Subject Terms: SOFTWARE verification, RELIABILITY in engineering

Compressing and Indexing Labeled Trees, with Applications.

Authors: FERRAGINA, PAOLO LUCCIO, FABRIZIO MANZINI, GIOVANNI et al.

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

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

Efficient Algorithms for Bichromatic Separability.

Authors: AGARWAL, PANKAJ K. ARONOV, BORIS KOLTUN, VLADLEN

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

Subject Terms: GEOMETRY, ALGORITHMS, PRISMS, BEAM splitters, MAGNITUDE estimation, STATISTICS

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

Authors: QIAN-PING GU HISAO TAMAKI

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

Subject Terms: ALGORITHMS, MATHEMATICAL analysis, NUMERICAL analysis, COMPUTATIONAL mathematics, GRAPH theory, POLYNOMIALS

A New Perspective on Implementation by Voting Trees.

Authors: Fischer, Felix Procaccia, Ariel D. Samorodnitsky, Alex

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

Subject Terms: APPROXIMATION theory, DECISION making, MARKOV processes, DIFFUSION processes, STOCHASTIC processes, PROBLEM solving, CHEBYSHEV systems

Approximate Shared-Memory Counting Despite a Strong Adversary.

Authors: Aspnes, James Censor, Keren

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

Subject Terms: APPROXIMATION theory, MATHEMATICAL models, OPERATOR algebras, MATHEMATICAL statistics, PROBABILITY measures, MATHEMATICAL variables

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

Authors: DOURISBOURE, YON GERACI, FILIPPO PELLEGRINI, MARCO

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

Subject Terms: WORLD Wide Web, INFORMATION sharing, COMPUTER science literature, HYPERLINKS, KEYWORDS

New Technologies, Development and Application VIII

Authors: Isak Karabegović Ahmed Kovačević Sadko Mandžuka

Resource Type: eBook.

Subjects: 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)

Authors: Kobi Gal Ann Nowé Grzegorz J. Nalepa et al.

Resource Type: eBook.

Categories: COMPUTERS / Artificial Intelligence / General

Computing Handbook : Two-Volume Set

Authors: Allen Tucker Teofilo Gonzalez Heikki Topi et al.

Resource Type: eBook.

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

Authors: Hector Geffner Rina Dechter Joseph Halpern

Resource Type: eBook.

Subjects: Causation, Artificial intelligence, Probabilities

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