Zobrazeno 1 - 10
of 1 357
pro vyhledávání: '"A. Staquet"'
Autor:
A. Staquet, C. Proisy, L. Granjon, T. Maury, P.-E. Augusseau, A. Gardel, A. Attali, G. Brunier, C. Leroy, A. Mury, F. Facundes, V. F. Santos, E. Anthony
Publikováno v:
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol XLVIII-3-2024, Pp 527-532 (2024)
Understanding how mangroves respond to sea level rise is critical for coastal management and conservation. This study investigates the feasibility of two remote sensing techniques, Light Detection and Ranging (LiDAR) and Structure-from-Motion (SfM) p
Externí odkaz:
https://doaj.org/article/7fb782d599fd44d8b330f1e929a71184
Autor:
Bruyère, Véronique, Garhewal, Bharat, Pérez, Guillermo A., Staquet, Gaëtan, Vaandrager, Frits W.
We present the first algorithm for query learning of a class of Mealy machines with timers in a black-box context. Our algorithm is an extension of the L# algorithm of Vaandrager et al. to a timed setting. We rely on symbolic queries which empower us
Externí odkaz:
http://arxiv.org/abs/2403.02019
Publikováno v:
Formal Modeling and Analysis of Timed Systems (FORMATS) 2023 pp. 33-49
In this work, we study properties of deterministic finite-state automata with timers, a subclass of timed automata proposed by Vaandrager et al. as a candidate for an efficiently learnable timed model. We first study the complexity of the configurati
Externí odkaz:
http://arxiv.org/abs/2305.07451
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2023, pp. 271-289
We present a new streaming algorithm to validate JSON documents against a set of constraints given as a JSON schema. Among the possible values a JSON document can hold, objects are unordered collections of key-value pairs while arrays are ordered col
Externí odkaz:
http://arxiv.org/abs/2211.08891
Autor:
Jacobs, Swen, Perez, Guillermo A., Abraham, Remco, Bruyere, Veronique, Cadilhac, Michael, Colange, Maximilien, Delfosse, Charly, van Dijk, Tom, Duret-Lutz, Alexandre, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Klara, Michaud, Thibaud, Pommellet, Adrien, Renkin, Florian, Schlehuber-Caissier, Philipp, Sakr, Mouhammad, Sickert, Salomon, Staquet, Gaetan, Tamines, Clement, Tentrup, Leander, Walker, Adam
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Then, we introduce new benchmark classes that have been added to the SYN
Externí odkaz:
http://arxiv.org/abs/2206.00251
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2022 pp. 271-289
We present a new learning algorithm for realtime one-counter automata. Our algorithm uses membership and equivalence queries as in Angluin's L* algorithm, as well as counter value queries and partial equivalence queries. In a partial equivalence quer
Externí odkaz:
http://arxiv.org/abs/2110.09434
Publikováno v:
In Developments in the Built Environment December 2023 16
Autor:
Montupil, Javier, Cardone, Paolo, Staquet, Cécile, Bonhomme, Arthur, Defresne, Aline, Martial, Charlotte, Alnagger, Naji L.N., Gosseries, Olivia, Bonhomme, Vincent
Publikováno v:
In BJA Open December 2023 8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.