„Data Automata“

Suchergebnisse

475 Treffer

• Topics in Theoretical Computer Science – The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
  Hajiaghayi, Mohammed Taghi ; Mousavi, Mohammad Reza 2016 Springer International Publishing
• Logical Foundations of Computer Science – International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
  Artemov, Sergej N. ; Nerode, Anil 2015 Springer International Publishing
• Finite automata with undirected state graphs
  Kutrib, Martin ; Malcher, Andreas ; Schneider, Christian
• Matching Automata – A Degenerated Design
  Ishida, Yoshiteru 2025 Springer Nature Switzerland, Imprint: Springer
• Legal machines – of subsumption automata, artificial intelligence, and the search for the "correct" judgment
  Meder, Stephan 2023 Talbot Publishing
• An improved NSGA-II algorithm based on fuzzy logic and learning automata for automatically designing the convolutional neural network for image classification
  Alizadeh, Mahhya ; Jameii, Seyed Mahdi ; Reza, Akram
• Lower Bounds for Multi-Pass Processing of Multiple Data Streams
  Schweikardt, Nicole 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantum-dot cellular automata serial decimal digit multiplier
  Gladshtein, Michael
• Active lane-changing model based on cellular automata to promote CAV platoon
  Zhang, Jian Xu ; Wu, Chun Xiang
• Abstracts Collection -- 25th International Symposium on Theoretical Aspects of Computer Science
  Albers, Susanne ; Weil, Pascal 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cellular automata based S-boxes
  Mariot, Luca ; Picek, Stjepan ; Leporati, Alberto ; Jakobovic, Domagoj
• Answer to Baker's remarks of July 1991 on version 1.0
  Cengarle, María Victoria ; Mandel, Luis ; Wirsing, Martin ; Brand, Heiner ; Däßler, Klaus ; Schneider, Thekla
• Mutually orthogonal latin squares based on cellular automata
  Mariot, Luca ; Gadouleau, Maximilien ; Formenti, Enrico ; Leporati, Alberto
• Dynamic controllability via Timed Game Automata
  Cimatti, Alessandro ; Hunsberger, Luke ; Micheli, Andrea ; Posenato, Roberto ; Roveri, Marco
• Verification of heap manipulating programs with ordered data by extended forest automata
  Abdulla, Parosh Aziz ; Holík, Lukáš ; Jonsson, Bengt ; Lengál, Ondřej ; Trinh, Cong Quy ; Vojnar, Tomáš
• Preface -- 25th International Symposium on Theoretical Aspects of Computer Science
  Albers, Susanne ; Weil, Pascal 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An approach to the DIN Kernel Lisp definition
  Cengarle, María Victoria ; Mandel, Luis ; Wirsing, Martin ; Brand, Heiner ; Däßler, Klaus ; Schneider, Thekla
• Preface -- 26th International Symposium on Theoretical Aspects of Computer Science
  Albers, Susanne ; Marion, Jean-Yves 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Nominal Tree Automata with Name Allocation
  Prucker, Simon ; Schröder, Lutz 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Passive Learning of Regular Data Languages in Polynomial Time and Data
  Balachander, Mrudula ; Filiot, Emmanuel ; Gentilini, Raffaella 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik