Showing 81 - 100 of 70,186

81

The Canadian Traveller Problem on Outerplanar Graphs
Beaudou, Laurent ; Bergé, Pierre ; Chernyshev, Vsevolod ; et al.
Mathematical Foundations of Computer Science (MFCS). :1-16

Bratislava, Slovakia 2012 ACM Subject Classif... 2012 ACM Subject Classif... Online algorithms Competitive analysis Outerplanar graphs
Conference
Save to List
82

Makespan Minimization for Scheduling on Heterogeneous Platforms with Precedence Constraints
Fagnon, Vincent ; Lucarelli, Giorgio ; Rapine, Christophe ; et al.
30th International European Conference on Parallel and Distributed Computing. :343-356

Madrid, Spain Approximation algorithms Scheduling Precedence constraints Heterogeneous platforms Non-preemptive
Conference
Save to List
83

Making Temporal Betweenness Computation Faster and Restless
Brunelli, Filippo ; Crescenzi, Pierluigi ; Viennot, Laurent ; et al.
KDD '24: The 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. :163-174

Barcelona, Spain Node centrality Betweenness Temporal graphs Graph mining [INFO.INFO-DS]Computer S...
Conference
Save to List
84

Scheduling Machine Learning Compressible Inference Tasks with Limited Energy Budget
da Silva Barros, Tiago ; Ferre, Davide ; Giroire, Frederic ; et al.
ICPP 2024 - 53rd International Conference on Parallel Processing. :961-970

Gotland, Sweden neural network compressi... deadlines energy budget scheduling [INFO]Computer Science [...
Conference
Save to List
85

Contract Scheduling with Distributional and Multiple Advice
Angelopoulos, Spyros ; Bienkowski, Marcin ; Dürr, Christoph ; et al.
The 33rd International Joint Conference in Artificial Intelligence (IJCAI-24). :3652-3660

Jeju Island, South Korea [INFO]Computer Science [... [INFO.INFO-AI]Computer S... Artificial Intelligence... [INFO.INFO-DS]Computer S... Data Structures and Algo...
Conference
Save to List
86

Automated Reasoning For The Existence Of Darboux Polynomials
Ghorbal, Khalil ; Bridoux, Maxime ; Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES) ; et al.
ISSAC 2024 - International Symposium on Symbolic and Algebraic Computation. :324-333

Raleigh, NC, United Stat... Darboux polynomials Newton polytope Theorem proving Automated reasoning Van der Pol oscillator
Conference
Save to List
87

Evaluation of road users trajectories from aerial-view data for risk analysis
Velázquez, Josué Manuel Rivera ; Salmane, Pascal Houssam ; Pierre, Guillaume Saint ; et al.
2024 14th International Conference on Pattern Recognition Systems (ICPRS). :1-7

London, France Trajectory analysis road... Trajectory analysis road safety traffic conflict vulnerable road users
Conference
Save to List
88

Making the Interval Membership Width of Temporal Graphs Connected and Bidirectional
Christodoulou, Filippos ; Marino, Andrea ; Silva, Ana ; et al.
IWOCA 2024 - 35th International Workshop on Combinatorial Algorithms. :247-258

Ischia, Italy Temporal graphs Eulerian trails Temporal coloring Firefighter Parameterized complexity
Conference
Save to List
89

High performance solvers for aeroacoustic simulations for Airbus
Korkmaz, Esragul ; Agullo, Emmanuel ; Sylvand, Guillaume ; et al.
COMPAS 2025 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2025, Bordeaux, France

Bordeaux, France Direct solver Coupled FEM BEM linear systems Aeroacoustic simulation Boundary element method
Conference
Save to List
90

Hierarchical partitioning for the electromagnetic simulation of complex 3D objects
Partitionnement hiérarchique pour la simulation électromagnétique d'objets 3D complexes

Walther, Dimitri ; Faverge, Mathieu ; Lecouvez, Matthieu ; et al.

Bordeaux, France H-matrix Hierarchical Partitionin... Graphs Dense Matrix H-matrice
Conference
Save to List
91

Software transactional memory for parallel meshing applications
Muron, Isaïe ; Ledoux, Franck ; Chevalier, Cédric ; et al.
COMPAS 2025 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2025, Bordeaux, France

Bordeaux, France correctness dynamic workload remeshing transactional memory data structure
Conference
Save to List
92

Incremental and Interactive PQ-and PC-Trees (Media Exposition)
Fink, Simon ; Peters, Dominik ; Vienna University of Technology = Technische Universität Wien (TU Wien) ; et al.
41st International Symposium on Computational Geometry (SoCG 2025), CG Society, Jun 2025, Kanazawa, Japan. ⟨10.4230/LIPIcs.SoCG.2025.84⟩

Kanazawa, Japan interactive exploration consecutive ones problem planarity PC trees PQ trees
Conference
Save to List
93

Group Order Logic
Dahan, Anatole ; Value from Data (VALDA) ; Département d'informatique - ENS-PSL (DI-ENS) ; et al.
LICS 2025 - Logic in Computer Science, Jun 2025, Singapore, Singapore. ⟨10.48550/arXiv.2505.15359⟩

Singapore, Singapore Descriptive Complexity Logic for P Finite Model Theory Computational Group Theo... Fixed-point logic
Conference
Save to List
94

A divide-and-conquer approach for B2B integral debt netting
Guichon, Joannès ; Contassot-Vivier, Sylvain ; Fatès, Nazim ; et al.
Conférence 2025 du chapitre local de la Complex Systems Society, Jun 2025, Paris, France

Paris, France B2B finance Integral debt netting al... Divide & conquer [INFO.INFO-DS]Computer S...
Conference
Save to List
95

Towards 3d Digital Image Correlation Of In Situ Tested Single Flax Fibres Using Optical Projection Tomography
Chevallier, Anouk ; Kakkonen, Markus ; Tanhuanpää, Olli ; et al.
International Conference on Natural FIbers, Jun 2025, Lisbon, Portugal

Lisbon, Portugal [INFO.INFO-DS]Computer S... Data Structures and Algo... [PHYS.MECA]Physics [phys... Mechanics [physics] [SPI.AUTO]Engineering Sc...
Conference
Save to List
96

The Correlated Gaussian Sparse Histogram Mechanism
Lebeda, Christian Janos ; Retschmeier, Lukas ; Médecine de précision par intégration de données et inférence causale (PREMEDICAL) ; et al.
Symposium on Foundations of Responsible Computing (FORC 2025), Jun 2025, Standford, United States. ⟨10.4230/LIPIcs.FORC.2025.23⟩

Standford, United States [INFO.INFO-DS]Computer S... Data Structures and Algo...
Conference
Save to List
97

Mobility Aware Task Migration in Vehicular Edge Computing Networks
Sayegh, Rim ; Marouane, Hela ; Hoteit, Sahar ; et al.

Trondheim, Norway Automated Vehicles (AV) Task offloading End-to-End (E2E) Delay Multi-Access Edge Comput... Task Migration
Conference
Save to List
98

Temps, travail, espace : pourquoi choisir ? Un unisson autostabilisant et ses retombées
Devismes, Stéphane ; Ilcinkas, David ; Johnen, Colette ; et al.
ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint-Valéry-Sur-Somme, France

Saint-Valéry-Sur-Somme,... algorithmes totalement p... synchroniseur unisson Autostabilisation [INFO.INFO-DS]Computer S...
Conference
Save to List
99

Sortus Interruptus : Trier des phoques en O(n log(n))
Caizergues, Emma ; Durand, François ; Mathieu, Fabien ; et al.
ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint Valery-sur-Somme, France

Saint Valery-sur-Somme,... Tri par comparaison Algorithmes interruptibl... Distance de Spearman Ordre partiel [INFO.INFO-DS]Computer S...
Conference
Save to List
100

Sensitivity Analysis for Sizing Standalone Green Datacenters
Benaissa, Manal ; Dridi, Noura ; Nicod, Jean-Marc ; et al.
International Conference on Sensitivity Analysis of Model Output, Apr 2025, Grenoble, France

Grenoble, France [INFO.INFO-DS]Computer S... Data Structures and Algo... [SPI.AUTO]Engineering Sc... Automatic
Conference
Save to List

Filter