518 citations
- Université Toulouse III - Paul SabatierFR332 papers
- Institut de Recherche en Informatique de ToulouseFR331 papers
- Université Toulouse - Jean JaurèsFR329 papers
- Institut Polytechnique de BordeauxFR326 papers
- Centre National de la Recherche ScientifiqueFR159 papers
- Université Fédérale de Toulouse Midi-PyrénéesFR78 papers
- Université de ToulouseFR51 papers
- Institut National Polytechnique de ToulouseFR43 papers
- Toulouse School of EconomicsFR31 papers
- École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des TélécommunicationsFR20 papers
- Institut national de recherche en sciences et technologies du numériqueFR16 papers
- Institut de Mathématiques de ToulouseFR15 papers
370 papers
FleetScape: A Mixed Reality Sandtable for Spatial Supervision and Control of Scalable Drone Fleets
Peisen Xu, Jérémie Garcia, Peter Cleveland +2
As autonomous drone deployments scale from individual units to coordinated swarms, the human operator's role shifts from direct piloting to high-level supervision. Current interfac…
Hierarchical Bayesian optimization of an aircraft-based multi-agent system-of-systems
Paul Saves, Thierry Lefebvre, Nathalie Bartoli +4
Developing innovative system architectures increasingly relies on advanced modeling and optimization techniques to frame the architecting process and define the corresponding compu…
Improving Ad-hoc Search Effectiveness for Conversational Information Retrieval via Model Merging
Ahmed Rayane Kebir, Jose G. Moreno, Lynda Tamine
Conversational information retrieval is challenging since it requires the consideration of the conversation history which potentially gives rise to topic shifts and coreference res…
Resolving Asynchronous Distributed Knowledge
Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
There are by now various epistemic modal logics with intersection modalities for distributed knowledge and intersection update modalities for dynamic phenomena like agents sharing…
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
Hongshu Wang, Xinyue Zuo, Yuhan Sun +3
Building software that is correct by construction is a long-standing goal in software engineering, as it ensures reliability during design and development rather than after deploym…
MPI Malleability Validation under Replayed Real-World HPC Conditions
S. Iserte, M. Madon, G. Da +2
Dynamic Resource Management (DRM) techniques can be leveraged to maximize throughput and resource utilization in computational clusters. Although DRM has been extensively studied t…