„Pattern calculus“

Suchergebnisse

1.000+ Treffer

• Fundamentals of pattern recognition – Monique Pavel: Marcel Dekker, Inc., New York, 1989
  Voinov, V. G.
• A Stream Reasoning System for Maritime Monitoring
  Santipantakis, Georgios M. ; Vlachou, Akrivi ; Doulkeridis, Christos ; Artikis, Alexander ; Kontopoulos, Ioannis ; Vouros, George A. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Introduction to Deep Learning – From Logical Calculus to Artificial Intelligence
  2018 Springer International Publishing
• Pattern Based Vocabulary Building for Effectively Sequencing Mixed-Model Assembly Lines
  Scholl, Armin ; Klein, Robert ; Domschke, Wolfgang
• On singularly-perturbed variational problems for pattern formation in helimagnets and martensites
  Koser, Melanie ; Cicalese, Marco ; Conti, Sergio ; Zwicknagl, Barbara 2024 Humboldt-Universität zu Berlin
• Effects of Grazing Intensity and Non-local Delay on Vegetation Patterns in Semi-Arid Areas
  Guo, Gaihui ; Wei, Tingting ; Jia, Fujie ; Li, Haixia
• Foreword of the Program Committee of the Conference “Mathematical Pattern Recognition Methods”
  Vorontsov, K. V. ; Lazarev, A. A. ; Lemtyuzhnikova, D. C. ; Strijov, V. V. ; Chekhovich, Yul. V. ; Chekhovich, Yur. V.
• Generalized circle patterns on surfaces with cusps
  Xiong, Zhiwen ; Xu, Xu
• Prompting LLMs for the Run-Time Event Calculus (Short Paper)
  Kouvaras, Andreas ; Mantenoglou, Periklis ; Artikis, Alexander 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Mathematics of Medical Imaging – A Beginner’s Guide
  Feeman, Timothy G. 2015 Springer International Publishing
• Circle patterns with hyperbolic background via topological degree method
  Ge, Huabin ; Yu, Hao
• Counting Depth Zero Patterns in Ballot Paths
  Niederhausen, Heinrich ; Sullivan, Shaun
• Extending the Range of Temporal Specifications of the Run-Time Event Calculus
  Mantenoglou, Periklis ; Artikis, Alexander 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fair Join Pattern Matching for Actors
  Haller, Philipp ; Hussein, Ayman ; Melgratti, Hernán ; Scalas, Alceste ; Tuosto, Emilio 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fair Join Pattern Matching for Actors (Artifact)
  Haller, Philipp ; Hussein, Ayman ; Melgratti, Hernán ; Scalas, Alceste ; Tuosto, Emilio
• An Event Calculus for Run-Time Reasoning (Extended Abstract)
  Mantenoglou, Periklis 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)
  Shinnar, Avraham ; Siméon, Jérôme ; Hirzel, Martin
• Higher-Order Equational Pattern Anti-Unification
  Cerna, David M. ; Kutsia, Temur 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Daily course pattern formulation and valid inequalities for the curriculum-based course timetabling problem
  Bagger, Niels-Christian Fink ; Desaulniers, Guy ; Desrosiers, Jacques
• Efficient Type Checking for Path Polymorphism
  Edi, Juan ; Viso, Andrés ; Bonelli, Eduardo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik