نتائج البحث

MARKER-LESS MOBILE AUGMENTED REALITY APPLICATION FOR MASSIVE 3D POINT CLOUDS AND SEMANTICS

• Authors : Kharroubi, Abderrazzaq

Subjects: Augmented Reality ; Web-AR ; Marker-Less AR

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

Automatic extraction and management of semantics within point cloud data

• Authors : Poux, Florent

Subjects: 3D; Point Cloud; Semanticsinternational

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

From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert

• Authors : Blazy, Sandrine;

Subjects: operational semantics of programming languages; verified compilation; machine-checked proofsLuxembourg

• Source: Lecture Notes in Computer Science ; FASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering ; https://inria.hal.science/hal-04553834 ; FASE 2024 - 27th

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

Semantics for a Turing-Complete Reversible Programming Language with Inductive Types

• Authors : Chardonnet, Kostia; Lemonnier, Louis; Valiron, Benoît ...

Subjects: Reversible programming; functional programming; ComputabilityTallinn; EstoniaTallinn, Estonia

• Source: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Leibniz International Proceedings in Informatics (LIPIcs)FSCD 2024 - 9th International Conference on

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

Two-Dimensional Kripke Semantics I: Presheaves

• Authors : Kavvos, G. A.; G. A. Kavvos

Subjects: modal logic; categorical semantics; Kripke semantics

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

A First Peek into Preferential Logics with Team Semantics

• Authors : Sauerwald, Kai; Kontinen, Juha;

Subjects: Mathematics; KLM; non-monotonic logic

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

Post-hoc Explanation of Extension Semantics

• Authors : Amgoud, Leila;

Subjects: Argumentation; Explainability; SemanticsSantiago de Compostela; Spain

• Source: 27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCEhttps://hal.science/hal-0472733027TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, Oct 2024, Santiago de Compostela, Spain

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

Logics with Probabilistic Team Semantics and the Boolean Negation

• Authors : Hannula, Miika; Hirvonen, Minna; Kontinen, Juha ...

Subjects: Computational Complexity; Expressivity of Logics; Model Checking

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

An Operational Semantics in Isabelle/HOL-CSP

• Authors : Ballenghien, Benoît; Wolff, Burkhart; Benoît Ballenghien and Burkhart Wolff

Subjects: Process-Algebra; Semantics; Concurrency

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

On Learning Bipolar Gradual Argumentation Semantics with Neural Networks

• Authors : Al Anaissy, Caren; Suntwal, Sandeep; Surdeanu, Mihai ...

Subjects: Argumentation Semantics; Bipolar Gradual Argumentation Graphs; Neural NetworksRome; Italy

• Source: 16th International Conference on Agents and Artificial Intelligencehttps://hal.science/hal-0453078416th International Conference on Agents and Artificial Intelligence, Feb 2024, Rome,

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