Výsledky vyhledávání - "Singly-exponential time algorithm"

Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm

Autoři: Comin, Carlo Rizzi, Romeo Gambette, Philippe

Přispěvatelé: Comin, Carlo Rizzi, Romeo Gambette, Philippe

Zdroj: Information and Computation. 259:348-374

Témata: FOS: Computer and information sciences, Conditional Temporal Networks, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0102 computer and information sciences, 02 engineering and technology, Hyper Temporal Networks, Computational Complexity (cs.CC), Mean Payoff Games, Simple Temporal Networks, 01 natural sciences, Computer Science - Computational Complexity, Dynamic Consistency, Reaction Time, Conditional temporal networks, Dynamic consistency, Mean payoff games, Simple temporal networks, Hyper temporal networks, Singly-exponential time, Reaction time, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Singly-Exponential Time

Popis souboru: application/pdf

Přístupová URL adresa: https://hal-upec-upem.archives-ouvertes.fr/hal-01719175/file/conditional-temporal-networks16.pdf
http://arxiv.org/abs/1602.06260
https://iris.univr.it/handle/11562/988557
https://doi.org/10.1016/j.ic.2017.08.008
https://dblp.uni-trier.de/db/journals/corr/corr1602.html#CominR16
https://www.sciencedirect.com/science/article/pii/S0890540117301499
http://ui.adsabs.harvard.edu/abs/2016arXiv160206260C/abstract
https://hal-enpc.archives-ouvertes.fr/hal-01719175v1

Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games (Hardness and (pseudo) Singly-Exponential Time Algorithm)

Autoři: Comin, Carlo Rizzi, Romeo

Témata: Computer Science - Computational Complexity, text

URL: http://arxiv.org/abs/1602.06260

A Singly-Exponential Time Algorithm for Computing Nonnegative Rank

Autoři: Moitra, Ankur

Témata: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Information Retrieval (cs.IR), Computer Science - Information Retrieval, Machine Learning (cs.LG)

Přístupová URL adresa: http://arxiv.org/abs/1205.0044

Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks

Autoři: Massimo Cairo Carlo Comin Romeo Rizzi a další

Přispěvatelé: Massimo Cairo Carlo Comin Romeo Rizzi a další

Témata: Conditional simple temporal networks, Dynamic-consistency, is an element of-dynamic-consistency, Instantaneous reaction-time, Hyper temporal networks, Singly-exponential time algorithm

Popis souboru: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000528260400003; volume:113; issue:100542; firstpage:1; lastpage:11; numberofpages:11; journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; http://hdl.handle.net/11562/1031503

Dostupnost: http://hdl.handle.net/11562/1031503
https://doi.org/10.1016/j.jlamp.2020.100542

Reactive Synthesis for DECLARE via symbolic automata

Autoři: Geatti, Luca Montali, Marco Rivkin, Andrey

Témata: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2212.10875

Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: a Singly-Exponential Time DC-Checking

Autoři: Comin, Carlo Rizzi, Romeo

Témata: Computer Science - Data Structures and Algorithms, Computer Science - Artificial Intelligence, Computer Science - Computer Science and Game Theory, text

URL: http://arxiv.org/abs/1505.00828

Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks

Autoři: Cairo, Massimo Comin, Carlo Rizzi, Romeo a další

Přispěvatelé: Cairo, Massimo Comin, Carlo Rizzi, Romeo a další

Zdroj: TIME 2016 23rd International Symposium on Temporal Representation and Reasoning ; https://hal.science/hal-01577460 ; TIME 2016 23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Kongens Lyngby, Denmark. pp.80-89, ⟨10.1109/TIME.2016.16⟩

Témata: singly-exponential time, hyper temporal networks, instantaneous reaction time, dynamic consistency, conditional simple temporal networks, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Geografické téma: Kongens Lyngby, Denmark

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1608.04132; ARXIV: 1608.04132

Dostupnost: https://hal.science/hal-01577460
https://hal.science/hal-01577460v1/document
https://hal.science/hal-01577460v1/file/conditional-temporal-networks-instantaneous-reaction.pdf
https://doi.org/10.1109/TIME.2016.16

Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking

Autoři: Comin, C. RIZZI, ROMEO

Zdroj: 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME). :19-28

Témata: FOS: Computer and information sciences, Algorithms, Dynamic consistencies, Exponential time, Mean payoff games, Simple temporal networks, Temporal networks, Model checking, Conditional Simple Temporal Networks, Dynamic Consistency, Hyper Temporal Networks, Mean Payoff Games, Reaction Time Analysis, Singly-Exponential Time, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Artificial Intelligence (cs.AI), Computer Science - Computer Science and Game Theory, Computer Science - Data Structures and Algorithms, 8. Economic growth, 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), Computer Science and Game Theory (cs.GT)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/pdf/1505.00828
http://arxiv.org/abs/1505.00828
https://iris.univr.it/handle/11562/954976
https://ui.adsabs.harvard.edu/abs/2015arXiv150500828C/abstract
https://ieeexplore.ieee.org/abstract/document/7371921
https://dblp.uni-trier.de/db/journals/corr/corr1505.html#CominR15a
https://hdl.handle.net/11562/954976
https://doi.org/10.1109/TIME.2015.18
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84978033437&partnerID=40&md5=776db59398ea45bb430914f40cd37e99

ALGORITHMS FOR GROUP ISOMORPHISM VIA GROUP EXTENSIONS AND COHOMOLOGY.

Autoři: GROCHOW, JOSHUA A. YOUMING QIAO

Zdroj: SIAM Journal on Computing; 2017, Vol. 46 Issue 4, p1153-1216, 64p

Témata: ALGORITHMS, ISOMORPHISM (Mathematics), COHOMOLOGY theory

Hyper temporal networks.

Autoři: Comin, Carlo Posenato, Roberto Rizzi, Romeo

Zdroj: Constraints: An International Journal; Apr2017, Vol. 22 Issue 2, p152-190, 39p

COMPUTING A NONNEGATIVE MATRIX FACTORIZATION--PROVABLY.

Autoři: ARORA, SANJEEV GE, RONG KANNAN, RAVI a další

Zdroj: SIAM Journal on Computing; 2016, Vol. 45 Issue 4, p1582-1611, 30p

Témata: NONNEGATIVE matrices, FACTORIZATION, INTEGERS, QUANTUM mechanics, COMMUNICATION complexity (Information theory), POLYHEDRAL combinatorics

Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.

Autoři: Furia, Carlo A. Spoletini, Paola

Zdroj: Theoretical Aspects of Computing - Ictac 2008; 2008, p126-140, 15p

Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials.

Autoři: Basu, Saugata Pasechnik, Dmitrii V. Roy, Marie-Françoise

Zdroj: Journal of the European Mathematical Society (EMS Publishing); 2010, Vol. 12 Issue 2, p529-553, 25p, 1 Diagram

Témata: SET theory, ALGEBRA, CHARACTERISTIC functions, ALGORITHMS, BOUNDARY value problems

Computing the First Betti Number of a Semi-Algebraic Set.

Autoři: Basu, Saugata Pollack, Richard Roy, Marie-Françoise

Zdroj: Foundations of Computational Mathematics; Feb2008, Vol. 8 Issue 1, p97-136, 40p, 1 Diagram, 3 Graphs

Témata: ALGORITHMS, SEMIALGEBRAIC sets, ALGEBRAIC geometry, MATHEMATICS, COMPUTATIONAL complexity

On multiple moving objects.

Autoři: Erdmann, Michael Lozano-Pérez, Tomás

Zdroj: Algorithmica; Nov1987, Vol. 2 Issue 1-4, p477-521, 45p

A Simple Decision Method for the Linear Time Mu-calculus

Autoři: Roope Kaivola

Zdroj: Workshops in Computing ISBN: 9783540199823

Přístupová URL adresa: https://link.springer.com/chapter/10.1007/978-1-4471-3078-9_13
https://rd.springer.com/chapter/10.1007/978-1-4471-3078-9_13
https://dblp.uni-trier.de/db/conf/strict/strict1995.html#Kaivola95

ECAI 2024 : 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago De Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024)

Autoři: U. Endriss F.S. Melo K. Bach

Resource Type: eBook.

Categories: COMPUTERS / Artificial Intelligence / General

Handbook of Discrete and Computational Geometry

Autoři: Csaba D. Toth Joseph O'Rourke Jacob E. Goodman

Resource Type: eBook.

Témata: QA167

Categories: COMPUTERS / Software Development & Engineering / Computer Graphics, MATHEMATICS / General, MATHEMATICS / Geometry / General, MATHEMATICS / Combinatorics

Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings

Autoři: Ralf Klasing Marc Zeitoun

Resource Type: eBook.

Témata: Computer science, Algorithms, Computer networks, Computer science—Mathematics, Discrete mathematics, Software engineering

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Discrete Mathematics

Euclidean Shortest Paths : Exact or Approximate Algorithms

Autoři: Fajie Li Reinhard Klette

Resource Type: eBook.

Témata: Euclidean algorithm, Computer science--Mathematics

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis