• Search: "[INFO] Computer Science [cs]"

Showing 21 - 40 of 497,153

21

Optimized Usage of Multi-User Diversity to Enhance Spectral Efficiency in (5G) Wireless Networks
Terrier, Guillaume ; Gueguen, Cedric ; Hadjadj-Aoul, Yassine ; et al.
ISNCC 2025 - International Symposium on Networks. :1-7

Paris, France Machine Learning Scheduling Artificial Intelligence Wireless Network Reinforcement Learning …
Conference
Save to List
22

Towards Estimating the Carbon Footprint of Video Streaming
Urvoy-Keller, Guillaume ; Moulierac, Joanna ; Dinuzzi, Marco ; et al.
ISNCC 2025 - International Symposium on Networks. :1-7

Paris, France Carbon footprint Streaming [INFO]Computer Science [...
Conference
Save to List
23

Evaluating Automatic Hand-Gesture Generation Using Multimodal Corpus Annotations: The Benefits of a Multidisciplinary Approach
Grondin-Verdon, Mickaëlla ; Caillat, Domitille ; Abel, Louis ; et al.
MM '25:The 33rd ACM International Conference on Multimedia. :3-11

Dublin, Ireland Model Assessment Evaluation Artifical co-speech gest... Linguistic expertise Corpus Enrichement …
Conference
Save to List
24

Deep-Plant-Disease Dataset Is All You Need for Plant Disease Identification
Chai, Abel, Yu Hao ; Jee, Kelly, Li Zhen ; Lee, Sue, Han ; et al.
ACM MM 2025 - 33. ACM International Conference on Multimedia. :12578-12584

Dublin, Ireland Plant disease identifica... Computer vision Computing methodologies Machine learning Supervised learning …
Conference
Save to List
25

Strategic Bandwidth Pricing and Allocation in a 5G/6G Network Slicing Stackelberg Game
Saizonou, Orland-Médy ; Maillé, Patrick ; Tuffin, Bruno ; et al.
ISNCC 2025 - 12th International Symposium on Networks. :1-6

Paris, France ressource allocation pricing 6G networks 5G networks Network slicing …
Conference
Save to List
26

Prompt Runtime Enforcement
Anand, Ayush ; Germerie Guizouarn, Loïc ; Jéron, Thierry ; et al.
ATVA 2025 - International Symposium on Automated Technology for Verification and Analysis. :1-22

Bengalore, India regular properties game reactive systems runtime enforcement [INFO]Computer Science [... …
Conference
Save to List
27

SERA-Float: A Soft Error Resilient Approximate Floating-Point Computing Format
Mishra, Vishesh ; Traiola, Marcello ; Kritikakou, Angeliki ; et al.
ICCAD 2025 - ACM/IEEE International Conference On Computer Aided Design. :1-9

Munich (Allemagne), Germ... Neural Networks Fault-Tolerant Computing Energy Efficiency Floating-point Format Approximate Computing …
Conference
Save to List
28

Agent-Based Modeling of Context Effects in Consumer Choice
Vanderlynden, Jarod ; Mathieu, Philippe ; Warlop, Romain ; et al.
28th European Conference on Artificial Intelligence. :3622-3629

Bologna, Italy [INFO]Computer Science [... [INFO.INFO-MO]Computer S... Modeling and Simulation [SHS.GESTION]Humanities... Business administration
Conference
Save to List
29

Intelligent Agents: Where Is the Web?
Charpenay, Victor ; Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) ; Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne) ; et al.
Second International Workshop on Hypermedia Multi-Agent Systems (HyperAgents 2025) - ECAI 2025. :1-9

Bologne, Italy Web Agent Chatbot Hypermedia RDF [INFO]Computer Science [... …
Conference
Save to List
30

Incremental Synchronization of BPMN Models and Documentations by Leveraging Structural Algorithms and LLMs
Cremer, David ; Dalmas, Benjamin ; Nivon, Quentin ; et al.
CoopIS 2025 - International Conference on Cooperative Information Systems. :1-18

Marbella, Spain Large Language Models (L... Text Synchronization Business Process Managem... Process Modeling [INFO]Computer Science [...
Conference
Save to List
31

Bounded Reversibility in HOπ
Lanese, Ivan ; Mezzina, Claudio Antares ; Vassor, Martin ; et al.
Claudio Antares Mezzina; Alan Schmitt. Components Operationally: Reversibility and System Engineering. Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday. :24-45

Process Calculus Reversibility [INFO]Computer Science [...
Book
Save to List
32

From Complementary to Zipper Semantics
Lenglet, Sergueï ; Noûs, Camille ; Schmitt, Alan ; et al.
Components Operationally: Reversibility and System Engineering Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday. :89-102

Abstract machine Congruence Bisimilarity Labeled transition syste... Semantics Process calculus …
Book
Save to List
33

LAVA: Leveraging Self-attention to Learn Video Features for Wastewater Pipe Anomaly Detection
Nguyen, Ti-Hon ; Tran-Nguyen, Minh-Thu ; Delenne, Carole ; et al.
Third International Conference. :3-18

Can Tho City, Vietnam Wastewater pipe Anomalie... Video classification Transformer Video feature [INFO]Computer Science [... …
Conference
Save to List
34

Energy-Aware Meta Sleep Scheduler, an Alternative to DRX in 5G Networks
Dorval, Loup ; Gueguen, Cédric ; Terrier, Guillaume ; et al.
LCN 2025 - IEEE 50th Conference on Local Computer Networks. :1-6

Sydney, Australia DRX Scheduling Quality of Service (QoS) Energy Consumption 5G …
Conference
Save to List
35

Deep Reinforcement Learning for Routing in Uncertain DTNs with Graph Neural Networks
Negrelli, Valentin ; Cherini, Renato ; Fraire, Juan Andrés, A ; et al.
WiSEE 2025 - IEEE International Conference on Wireless for Space and Extreme Environments. :1-6

Halifax, Canada Contact Graph Routing Delay-Tolerant Networkin... [INFO]Computer Science [...
Conference
Save to List
36

Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core
Lawall, Julia ; Nishimura, Keisuke ; Lozi, Jean-Pierre ; et al.
OLIVIERFEST '25 - Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday. :94-105

Singapore, Singapore Frama-C verification Linux kernel scheduling Software evolution [INFO]Computer Science [...
Conference
Save to List
37

SMACC: Sketching Motion for Articulated Characters with Comics-based annotations
Legrand, Amandine ; Parakkat, Amal Dev ; Rohmer, Damien ; et al.
Pacific Graphics. :1-13

Taipei, Taiwan Character Animation Sketch based interface 3D Animation [INFO]Computer Science [...
Conference
Save to List
38

Mining in Logarithmic Space with Variable Difficulty
Miller, Loïc ; Pacaud, Dorian ; Derousseaux-Lebert, Nathanaël ; et al.
CCS 2025 - Conference on computer and communications security. :1-15

Tapei, Taiwan • Computing methodologie... • Theory of computation... Security and privacy → D... [INFO]Computer Science [...
Conference
Save to List
39

Subversion-resilient Key-exchange in the Post-quantum World
Duverger, Kévin ; Fouque, Pierre-Alain ; Jacomme, Charlie ; et al.
CCS 2025 - 32nd ACM Conference on Computer and Communications Security. :1-49

Taipei, Taiwan [INFO]Computer Science [...
Conference
Save to List
40

Incremental Certified Programming
Díaz, Tomás ; Maillard, Kenji ; Tabareau, Nicolas ; et al.
OOPSLA 2025 - ACM Conference on Object Oriented Programming Systems Languages and Applications. :1-28

Singapore, Singapore Incremental programming Program verification Program reasoning Type theory [INFO]Computer Science [...
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter