• Aucun résultat trouvé

[PDF] Top 20 Parity and Exploration Games on Infinite Graphs

Has 10000 "Parity and Exploration Games on Infinite Graphs" found on our website. Below are the top 20 most common "Parity and Exploration Games on Infinite Graphs".

Parity and Exploration Games on Infinite Graphs

Parity and Exploration Games on Infinite Graphs

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

36

Complexity in Infinite Games on Graphs and Temporal Constraint Networks

Complexity in Infinite Games on Graphs and Temporal Constraint Networks

... Introduction and Motivation In many areas of Artificial Intelligence (AI), including temporal planning and scheduling, the representation and management of quantitative temporal as- pects is of ... Voir le document complet

274

Infinite-state games with finitary conditions

Infinite-state games with finitary conditions

... rounds, and a round is as follows: first Adam makes a request, either 1 or 3, and then Eve either answers both requests and proceeds to the next round, or stops the play visiting color ...strategy, ... Voir le document complet

27

Parity and Streett Games with Costs

Parity and Streett Games with Costs

... energy games, whose winning con- ditions ask for the existence of an initial amount of energy such that a positive energy level is maintained throughout the ...energy games with multiple resources is in ... Voir le document complet

29

Parity Games on Undirected Graphs

Parity Games on Undirected Graphs

... v, and let π be the unique play starting from v that follows σ 0 and τ ...0 and the assumption that τ is winning for Abelard, it follows that π never goes through any back- edge added in the ... Voir le document complet

10

Brief Announcement: Infinite Grid Exploration by Disoriented Robots

Brief Announcement: Infinite Grid Exploration by Disoriented Robots

... the infinite task consisting of forming a desired pattern with the robots and make them moving together while maintaining that ...take and the edges the possibil- ity for a robot to move from one ... Voir le document complet

5

Stochastic Games with Parity Mean-payoff Objective

Stochastic Games with Parity Mean-payoff Objective

... stochastic games equipped with combination of parity and positive-average ...non-stochastic games [ 1 ]. Contribution and result In this paper we give characterization of the ... Voir le document complet

16

Collapsible Pushdown Parity Games

Collapsible Pushdown Parity Games

... considering games played on infinite graphs emerged because of their connections with program ...verify and decidability of the logic used to express the property to ...operators) and ... Voir le document complet

52

Domination and identification games in graphs

Domination and identification games in graphs

... cops and robbers. The most well-known two-player games of this type are the pursuit-evasion ...cops and robbers [104, 106] has been extensively studied and most of the other pursuit-evasion ... Voir le document complet

170

Parity games played on transition graphs of one-counter processes

Parity games played on transition graphs of one-counter processes

... [4], and explain how to simplify it in the special case of one-counter parity ...complete infinite tree of arity k is a representation of the set of all finite words on an alphabet of cardinality ... Voir le document complet

33

Exploration of the T-Interval-Connected Dynamic Graphs: the Case of the Ring

Exploration of the T-Interval-Connected Dynamic Graphs: the Case of the Ring

... Fig. 3 In the case when edge e is absent for a short time (Case 2 in the proof), the dashed trajectory is used (or its equivalent in the other direction). The turning time of the dashed trajectory is defined at the ... Voir le document complet

17

Unsupervised and Parameter-Free Clustering of Large Graphs for Knowledge Exploration and Recommendation

Unsupervised and Parameter-Free Clustering of Large Graphs for Knowledge Exploration and Recommendation

... scheduled and executed by the ...CPU and memory resources as much as possible within the specified ...usage and to provide equal computational resources for all algorithms b) each single-threaded ... Voir le document complet

168

Controllability of Localized Quantum States on Infinite Graphs through Bilinear Control Fields

Controllability of Localized Quantum States on Infinite Graphs through Bilinear Control Fields

... controls and explicit times in ...[Mir09] and by Nersesyan in ...Rossi and Sigalotti in [BCMS12] and ...Chambrion and Sigalotti in [BdCC13] and ... Voir le document complet

25

Modeling the Complexity of Music Metadata in Semantic Graphs for Exploration and Discovery

Modeling the Complexity of Music Metadata in Semantic Graphs for Exploration and Discovery

... CSV and very specialized ones like MARC and its ...tution and with non-explicit semantics, making the understanding of the model ...complementary and overlapping meta- data. Discovering ... Voir le document complet

9

Positive varieties and infinite words

Positive varieties and infinite words

... A variant of the notion of syntactic semigroup was recently proposed by the author [17]. The key idea is to define a partial order on syntactic semigroups, leading to the notion of ordered syntactic semigroups. The ... Voir le document complet

13

Spade: A Modular Framework for Analytical Exploration of RDF Graphs

Spade: A Modular Framework for Analytical Exploration of RDF Graphs

... category and country; (ii) a set of measures, ...ingredients, and (iii) a set of aggregate functions which define how the measures should be aggregated, ...below, and highlight Spade’s ...type ... Voir le document complet

5

Maximal accretive extensions of Schrödinger operators on vector bundles over infinite graphs

Maximal accretive extensions of Schrödinger operators on vector bundles over infinite graphs

... OVER INFINITE GRAPHS OGNJEN MILATOVIC AND FRANC ¸ OISE TRUC ...an infinite weighted graph, we define the Laplacian associated to a unitary connection on this bundle and study a ... Voir le document complet

18

Exploration of Constantly Connected Dynamic Graphs Based on Cactuses

Exploration of Constantly Connected Dynamic Graphs Based on Cactuses

... the exploration time of dynamic graphs based on ...the exploration time of the ...underlying graphs. Note that the families of underlying graphs considered so far (ring and ... Voir le document complet

14

Concentration and compression over infinite alphabets, mixing times of random walks on random graphs

Concentration and compression over infinite alphabets, mixing times of random walks on random graphs

... down, and the delay factor is precisely its speed, (d − ...weights, and mixing occurs when t is large enough to see paths with a “reasonable” ...backtrack and go explore higher-degree parts of the ... Voir le document complet

131

Learning by Trading in Infinite Horizon Strategic Market Games with Default

Learning by Trading in Infinite Horizon Strategic Market Games with Default

... wealth and ensure that players with incorrect beliefs never lose so much as to be driven out of the ...run and continue to trade, possibly on the basis of those heterogeneous ...leverage and asset ... Voir le document complet

41

Show all 10000 documents...