Výsledky vyhledávání - 2012 ACM Subject Classification Theory of computation Logic Graph grammars Hyperedge replacement

Iterating Non-Aggregative Structure Compositions

Autoři: Bozga, Marius Iosif, Radu Zuleger, Florian a další

Přispěvatelé: Bozga, Marius Iosif, Radu Zuleger, Florian a další

Zdroj: 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 2025
https://hal.science/hal-05342996
45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 2025, Dec 2025, Goa, India. ⟨10.4230/LIPIcs.CVIT.2016.23⟩

Témata: CVIT, 4230/LIPIcs, Tree-width Digital Object Identifier 10, Theory of computation Logic Graph grammars Hyperedge replacement, 2012 ACM Subject Classification, Tree-width Digital Object Identifier 10 4230/LIPIcs CVIT 2016 23, 2012 ACM Subject Classification Theory of computation Logic Graph grammars Hyperedge replacement, [INFO]Computer Science [cs]

Geografické téma: Goa, India

Time: 2016, 23

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2510.06019; ARXIV: 2510.06019

Dostupnost: https://hal.science/hal-05342996
https://hal.science/hal-05342996v1/document
https://hal.science/hal-05342996v1/file/main.pdf
https://doi.org/10.4230/LIPIcs.CVIT.2016.23

Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types.

Autoři: Arsiwalla, Xerxes D. Gorard, Jonathan

Zdroj: International Journal of Theoretical Physics; Apr2024, Vol. 63 Issue 4, p1-44, 44p

Témata: GEOMETRIC modeling, QUANTUM gravity, SPACETIME, HOMOTOPY groups

PrimeNet: A Framework for Commonsense Knowledge Representation and Reasoning Based on Conceptual Primitives.

Autoři: Liu, Qian Han, Sooji Cambria, Erik a další

Zdroj: Cognitive Computation; Nov2024, Vol. 16 Issue 6, p3429-3456, 28p

Neural Methods for Data-to-text Generation.

Autoři: Sharma, Mandar Gogineni, Ajay Kumar Ramakrishnan, Naren

Zdroj: ACM Transactions on Intelligent Systems & Technology; Oct2024, Vol. 15 Issue 5, p1-46, 46p

Témata: NATURAL language processing, NATURAL languages, NARRATION, FAIRNESS, UMBRELLAS

Ontology-Mediated Queries.

Autoři: Bienvenu, Meghyn Kikot, Stanislav Kontchakov, Roman a další

Zdroj: Journal of the ACM; Sep2018, Vol. 65 Issue 5, p1-51, 51p

Témata: COMPUTATIONAL complexity, ONTOLOGIES (Information retrieval), QUERYING (Computer science), HYPERGRAPHS, BOOLEAN functions, POLYNOMIALS

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autoři: Parosh Aziz Abdulla Delia Kesner

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Change-driven model transformations.

Autoři: Bergmann, Gábor Ráth, István Varró, Gergely a další

Zdroj: Software & Systems Modeling; Jul2012, Vol. 11 Issue 3, p431-461, 31p, 24 Diagrams, 1 Chart

Témata: ARBITRARY constants, METHODS engineering, SOFTWARE engineering, GRAPH theory, WORK measurement

P ≠ P.

Autoři: Krötzsch, Markus

Zdroj: Web Reasoning & Rule Systems: 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings; 2014, p1-22, 22p

On the Linguistic Representational Power of Neural Machine Translation Models.

Autoři: Belinkov, Yonatan Durrani, Nadir Dalvi, Fahim a další

Zdroj: Computational Linguistics; Mar2020, Vol. 46 Issue 1, p1-52, 52p

Témata: NATURAL language processing, MACHINE translating, TRANSLATIONS, MACHINE learning

Statistical Machine Translation for Speech: A Perspective on Structures, Learning, and Decoding.

Autoři: Zhou, Bowen

Zdroj: Proceedings of the IEEE; May2013, Vol. 101 Issue 5, p1180-1202, 23p

Témata: MACHINE translating, AUTOMATIC speech recognition, SPEECH processing systems, PATTERN recognition systems, DECODERS & decoding

Tool support for assurance case development.

Autoři: Denney, Ewen Pai, Ganesh

Zdroj: Automated Software Engineering; Sep2018, Vol. 25 Issue 3, p435-499, 65p

Vector Semantics

Autoři: András Kornai

Resource Type: eBook.

Témata: Semantics, Cognitive grammar

Categories: COMPUTERS / Speech & Audio Processing, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems, LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LITERARY CRITICISM / General, MATHEMATICS / Probability & Statistics / General

Frontiers of Combining Systems

Autoři: René Thiemann Christoph Weidenbach

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

From Fieldwork to Linguistic Theory

Autoři: Gibson, Edward Poliak, Moshe

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: Artificial intelligence, Computer system performance, Software engineering, Logic design, Computer science, Computer industry, Electronic data processing

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Autoři: André Platzer Geoff Sutcliffe

Resource Type: eBook.

Témata: Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Autoři: Philipp Cimiano Anette Frank Michael Kohlhase a další

Resource Type: eBook.

Témata: Data mining--Congresses, Computational linguistics--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Autoři: Jasmin Blanchette Laura Kovács Dirk Pattinson

Resource Type: eBook.

Témata: Automatic theorem proving--Congresses, Computer logic--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General