„Data Automata“

Suchergebnisse

475 Treffer

• Multioperator weighted monadic datalog
  Stüber, Torsten
• Security and intelligent information systems – international joint confererence ; revised selected papers
  Bouvry, Pascal ; Klopotek, Mieczyslaw A. ; Leprevost, Franck ; Marciniak, Małgorzata ; Mykowiecka, Agnieszka ; Rybiński, Henryk 2012 Springer
• Symbolic automata for representing big code
  Peleg, Hila ; Shoham, Sharon ; Yahav, Eran ; Yang, Hongseok
• Efficient verification of timed automata with BDD-like data structures
  Wang, Farn
• Reversible Watson–Crick automata
  Chatterjee, Kingshuk ; Ray, Kumar Sankar
• Land Use Land Cover Change Detection Using Remote sensing data and GIS – Case of Bonga Town and its Surrounding, Kaffa Zone
  Ayele, Eskindir 2010 VDM Verlag Dr. Müller
• Verification, Induction, Termination Analysis – Festschrift for Christoph Walther on the Occasion of His 60th Birthday
  Siegler, Simon ; Walther, Christoph ; Wasser, Nathan 2010 Springer Berlin Heidelberg
• Verification, induction, termination analysis – Festschrift for Christoph Walther on the occasion of his 60th birthday
  Siegler, Simon ; Walther, Christoph ; Wasser, Nathan 2010 Springer
• Mathematical foundations of computer science 2014
  2014 Springer
• Mathematical foundations of computer science 2014
  2014 Springer
• Scenarios of urban growth in Kenya using regionalised cellular automata based on multi temporal Landsat satellite data
  Mubea, Kenneth
• Double image compression and encryption scheme using logistic mapped convolution and cellular automata
  Hanis, S. ; Amutha, R.
• Reachability analysis of reversal-bounded automata on series–parallel graphs
  Dimitrova, Rayna ; Majumdar, Rupak
• Digital image scrambling based on elementary cellular automata
  Abu Dalhoum, Abdel Latif ; Madain, Alia ; Hiary, Hazem
• A learning automata and clustering-based routing protocol for named data networking
  Shariat, Zeinab ; Movaghar, Ali ; Hoseinzadeh, Mehdi