Suchergebnisse - "Singly-exponential time algorithm"
-
1
Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games (Hardness and (pseudo) Singly-Exponential Time Algorithm)
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 15.04.2017Veröffentlicht in arXiv.org (15.04.2017)“… ) singly-exponential time algorithm for the problem of checking …”
Volltext
Paper -
2
A Singly-Exponential Time Algorithm for Computing Nonnegative Rank
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 30.04.2012Veröffentlicht in arXiv.org (30.04.2012)“… Here, we give an algorithm for deciding if the nonnegative rank of a matrix \(M\) of dimension \(m \times n\) is at most \(r\) which runs in time …”
Volltext
Paper -
3
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking
ISSN: 1530-1311Veröffentlicht: IEEE 04.01.2016Veröffentlicht in Proceedings - International Workshop on Temporal Representation and Reasoning (04.01.2016)“… Conditional Simple Temporal Network (CSTN) is a constraint-based graph-formalism for conditional temporal planning. It offers a more flexible formalism than …”
Volltext
Tagungsbericht -
4
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks
ISSN: 2332-6468Veröffentlicht: IEEE 01.10.2016Veröffentlicht in 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) (01.10.2016)“… Conditional Simple Temporal Network CSTN is a constraint-based graph-formalism for conditional temporal planning. Three notions of consistency arise for CSTNs …”
Volltext
Tagungsbericht -
5
Reactive Synthesis for DECLARE via symbolic automata
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 21.12.2022Veröffentlicht in arXiv.org (21.12.2022)“… Given a specification of linear-time temporal logic interpreted over finite traces (LTLf), the reactive synthesis problem asks to find a …”
Volltext
Paper -
6
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: a Singly-Exponential Time DC-Checking
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 17.07.2015Veröffentlicht in arXiv.org (17.07.2015)“… Conditional Simple Temporal Network (CSTN) is a constraint-based graph-formalism for conditional temporal planning. It offers a more flexible formalism than …”
Volltext
Paper -
7
Computing the first few Betti numbers of semi-algebraic sets in single exponential time
ISSN: 0747-7171, 1095-855XVeröffentlicht: Elsevier Ltd 01.10.2006Veröffentlicht in Journal of symbolic computation (01.10.2006)“… ) , which is singly exponential in k for ℓ any fixed constant. Previously, singly exponential time algorithms were known only for computing the Euler–Poincaré …”
Volltext
Journal Article -
8
Computing the First Few Betti Numbers of Semi-algebraic Sets in Single Exponential Time
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 10.03.2006Veröffentlicht in arXiv.org (10.03.2006)“… ),\) which is singly exponential in \(k\) for \(\ell\) any fixed constant. Previously, singly exponential time algorithms were known only for computing the Euler-Poincaré …”
Volltext
Paper