Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Universal First-Order Quantification over Automata

Subjects: Innite-word automata; rst-order logic; quantier eliminationFamagusta; Cyprus

  • Source: EMU 2023 - 27th International Conference on Implementation and Application of Automata ; https://inria.hal.science/hal-04317399 ; EMU 2023 - 27th International Conference on Implementation and

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

×
Conference

What’s All the FUSS About Free Universal Sound Separation Data?

Subjects: Universal sound separation; variable source sep- aration; open-source datasetsToronto/VirtualToronto/Virtual, Canada

  • Source: ICASSP 2021 - 46th International Conference on Acoustics, Speech, and Signal Processing ; https://inria.hal.science/hal-02984693 ; ICASSP 2021 - 46th International Conference on Acoustics, Speech, and

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

×
Conference

Graph Rewriting for Enhanced Universal Dependencies

Subjects: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]Bangkok (Online); Thailand

  • Source: IWPT 2021 - 17th International Conference on Parsing Technologies ; https://inria.hal.science/hal-03326492 ; IWPT 2021 - 17th International Conference on Parsing Technologies, Aug 2021, Bangkok

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

×
Conference

Investigating Dominant Word Order on Universal Dependencies with Graph Rewriting

Subjects: [INFO.INFO-TT]Computer Science [cs]/Document and Text ProcessingOnline; Bulgaria

  • Source: RANLP 2021 - Recent Advances in Natural Language Processing ; https://inria.hal.science/hal-03322613 ; RANLP 2021 - Recent Advances in Natural Language Processing, Sep 2021, Online, Bulgaria

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

×
Conference

Joint Annotation of Morphology and Syntax in Dependency Treebanks

Subjects: Morph; Morpheme; Morph-based treebankTurino; Italy

  • Source: The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING) ; https://inria.hal.science/hal-04550108 ; The 2024 Joint International Conference

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

×
Conference

Universal equivalence and majority of probabilistic programs over finite fields

Subjects: program equivalence; probabilistic programs; finite fieldsSaarbrücken / Virtual; Germany

  • Source: ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science ; https://inria.hal.science/hal-02961583 ; ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020,

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

×
Conference

Smallest Universal Covers for Families of Triangles

Subjects: [INFO]Computer Science [cs]; [MATH]Mathematics [math]; [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]Würzburg; Germany

  • Source: EuroCG 2020 - 36th European Workshop on Computational Geometry ; https://inria.hal.science/hal-02972966 ; EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany ;

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

×
  • 1-10 of  188 نتائج ل ""Universal""