مكتبة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation

Authors : Lim, Sangho; Lim, Hyoungjin; Lee, Wonyeol ...

Subjects: Mathematics of computing ↑ Probabilistic inference problems; • Computing methodologies ↑ Parallel algorithms; Vector / streaming algorithms probabilistic programming

Source: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.science/hal-05468306 ; Proceedings of the ACM on Programming Languages, 2026, 10 (POPL), pp.597 - 627.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

Authors : Rossel, Marcus; Schneider, Rudi; Koehler, Thomas ...

Subjects: E-graphs; Equational reasoning; Equality saturation

Source: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://inria.hal.science/hal-05440328 ; Proceedings of the ACM on Programming Languages, 2026, 10 (POPL),

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions

Authors : Caruso, Xavier; Fürnsinn, Florian;

Subjects: Hypergeometric Series; Algebraicity; Tropical algebra

Source: https://hal.science/hal-05472471 ; 2026.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Sketch and Patch: Efficient 3D Gaussian Representation for Man-Made Scenes

Authors : Shi, Yuang; Gasparini, Simone; Morin, Géraldine ...

Subjects: • Computing methodologies → Animation 3D Gaussian Splatting; Information systems → Multimedia streaming; CCS CONCEPTSStellenbosch; South Africa

Source: MMVE '25: 17th International Workshop on IMmersive Mixed and Virtual Environment Systems ; https://hal.science/hal-05010909 ; MMVE '25: 17th International Workshop on IMmersive Mixed and Virtual

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Exploring Sign-level Strategies to Enhance Automatic Translation of French Sign Language

Authors : Fabre, Diandra; Lascar, Julie; Halbout, Julie ...

Subjects: classification; translation; Computing methodologies → Machine translation sign languageBerlin; Germany

Source: Proceedings ; IVA 2025 - 25th ACM International Conference on Intelligent Virtual Agents ; https://hal.science/hal-05280328 ; IVA 2025 - 25th ACM International Conference on Intelligent Virtual

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Re-examining Concept-based Explainable Models for Multimodal Interpretative Tasks

Authors : Tores, Julie; Ancarani, Elisa; Sun, Rémy ...

Subjects: CCS Concepts; CCS Concepts Computing methodologies → Neural networks Scene understanding • Social and professional topics → User characteristics Video interpretation Multimodality Explainable AI Concept annotation; Concept annotationDublin; Ireland

Source: ACM digital library ; MM 2025 - 33rd ACM International Conference on Multimedia ; https://hal.science/hal-05462454 ; MM 2025 - 33rd ACM International Conference on Multimedia, Oct 2025, Dublin,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Exploring Sign-level Strategies to Enhance Automatic Translation of French Sign Language

Authors : Fabre, Diandra; Lascar, Julie; Halbout, Julie ...

Subjects: classification; translation; Computing methodologies → Machine translation sign languageBerlin; Germany

Source: Proceedings ; IVA 2025 - 25th ACM International Conference on Intelligent Virtual Agents ; https://hal.science/hal-05280328 ; IVA 2025 - 25th ACM International Conference on Intelligent Virtual

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

FedSat-LAM: Enabling Large AI Models on Resource-Constrained Satellites via Hierarchical Federated Learning

Authors : Pasandi, Hannaneh, B; Tan, Zhaowei; Hosseini, Mohammad ...

Subjects: satellite edge computing; CCS CONCEPTS Computer systems organization → Embedded systems • Computing methodologies → Distributed artificial intelligence • Information systems → Spatialtemporal systems federated learning; parameter-efficient fine-tuningHong Kong; China

Source: ACM MobiCom 2025 - 31st Annual International Conference on Mobile Computing and Networking ; https://hal.science/hal-05423924 ; ACM MobiCom 2025 - 31st Annual

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Exact Computation for Robust 3D polyhedral interactive modeling

Authors : Geniet, Florent; Vallet, Bruno; Bredif, Mathieu ...

Subjects: Computing methodologies → Model verification and validation; CCS Concepts; rational computationSienne; Italy

Source: Web3D '25: The 30th International Conference on 3D Web Technology ; https://hal.science/hal-05288439 ; Web3D '25: The 30th International Conference on 3D Web Technology, Sep 2025, Sienne, Italy.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Re-examining Concept-based Explainable Models for Multimodal Interpretative Tasks

Authors : Tores, Julie; Ancarani, Elisa; Sun, Rémy ...

Source: ACM digital library ; MM 2025 - 33rd ACM International Conference on Multimedia ; https://hal.science/hal-05462454 ; MM 2025 - 33rd ACM International Conference on Multimedia, Oct 2025, Dublin,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions

Sketch and Patch: Efficient 3D Gaussian Representation for Man-Made Scenes

Exploring Sign-level Strategies to Enhance Automatic Translation of French Sign Language

Re-examining Concept-based Explainable Models for Multimodal Interpretative Tasks

Exploring Sign-level Strategies to Enhance Automatic Translation of French Sign Language

FedSat-LAM: Enabling Large AI Models on Resource-Constrained Satellites via Hierarchical Federated Learning

Exact Computation for Robust 3D polyhedral interactive modeling

Re-examining Concept-based Explainable Models for Multimodal Interpretative Tasks

اتصل بنا

اتبع