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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  57 نتائج ل ""semantics""

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

Collection : Institutional Repository Of Leibniz Universitat Hannover
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Determining user specific semantics of locations extracted from trajectory data

Subjects: clustering; GPS data; location of interest

  • Source: Transportation Research Procedia 78 (2024) ; Transportation Research Procedia

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

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

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

Subjects: Blum-Shub-Smale machine; Dependence logic; Metafinite structures

  • Source: Annals of pure and applied logic 173 (2022), Nr. 10 ; Annals of pure and applied logic

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

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

Team semantics for the specification and verification of hyperproperties

Subjects: Hyperproperties; LTL; Model checking

  • Source: Leibniz International Proceedings in Informatics, LIPIcs 117 (2018)

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

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

Decidability of predicate logics with team semantics

Subjects: Complexity; Dependence logic; Team semantics

  • Source: Leibniz International Proceedings in Informatics, LIPIcs 58 (2016)

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

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

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity

Subjects: Expressivity; Hyperproperties; Linear temporal logic

  • Source: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science : FSTTCS 2021 ; Leibniz International Proceedings in Informatics (LIPIcs) ; 213

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

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

A van Benthem theorem for modal team semantics

Subjects: Bisimulation; Expressivity; Generalized dependence atom

  • Source: Leibniz International Proceedings in Informatics, LIPIcs 41 (2015)

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

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

Parameterized complexity of weighted team definability

Subjects: dependence logic; descriptive complexity; inclusion logic

  • Source: Mathematical Structures in Computer Science (2024), online first ; Mathematical Structures in Computer Science

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

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

The power of the filtration technique for modal logics with team semantics

Subjects: dependence logic; team logic; modal logic

  • Source: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) ; Leibniz international proceedings in informatics : LIPIcs ; 82

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

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

GENEMASK: Fast Pretraining of Gene Sequences to Enable Few-Shot Learning

Subjects: Classification (of information); Computational linguistics; Genes

  • Source: ECAI 2023 ; Frontiers in Artificial Intelligence and Applications ; 372

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

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

Ontology-based assistance system for control process reconfiguration of Robot-Based Applications

Subjects: Konferenzschrift; Smart assistance; Semantics

  • Source: Proceedings of the Conference on Production Systems and Logistics: CPSL 2023 - 1 ; 10.15488/13418

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  57 نتائج ل ""semantics""