„Verification“

Suchergebnisse

8.913 Treffer

• Automated bank cheque verification using image processing and deep learning methods
  Agrawal, Prateek ; Chaudhary, Deepak ; Madaan, Vishu ; Zabrovskiy, Anatoliy ; Prodan, Radu ; Kimovski, Dragi ; Timmerer, Christian
• Images as graphical password: verification and analysis using non-regular low-density parity check coding
  Singh, Uday Pratap ; Chouhan, Siddharth Singh ; Jain, Sanjeev
• A hybrid formal verification approach for QoS-aware multi-cloud service composition
  Souri, Alireza ; Rahmani, Amir Masoud ; Navimipour, Nima Jafari ; Rezaei, Reza
• Theory and practice of computer science – proceedings
  Černá, Ivana ; Gyimóthy, Tibor ; Hromkovič, Juraj ; Jefferey, Keith ; Kralovic, Rastislav ; Vukolic, Marko ; Wolf, Stefan 2011 Springer
• A formal verification environment for use in the certification of safety-related C-programs
  Walter, Dennis
• On Coins, Parallel Universes and the Cooperation and Verification Mechanism
  Vassileva, Radosveta 2020 Fachinformationsdienst für internationale und interdisziplinäre Rechtsforschung Staatsbibliothek zu Berlin - Preußischer Kulturbesitz
• Theorems from compiler verification – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1998 Univ., Fak. für Informatik
• Multivariate verification for sybil attack detection in VANET
  Grover, Jyoti ; Gaur, Manoj Singh ; Laxmi, Vijay
• Experimental Verification of the Boundary Element Method for Adhesive Contacts of a Coated Elastic Half-Space
  Lyashenko, Iakov A. ; Popov, Valentin Leonidovič ; Borysiuk, Vadym 2023 Technische Universität Berlin
• Suitability of superficial electron paramagnetic resonance dosimetry for in vivo measurement and verification of cumulative total doses during IMRT : A proof of principle
  Höfel, Sebastian ; Fix, Michael K. ; Drescher, Malte ; Zwicker, Felix 2021 KOPS Universität Konstanz
• An Effective Traceback Network Attack Procedure for Source Address Verification
  Balraj, Sudhakar ; Leelasankar, Kavisankar ; Ayyanar, Ayyasamy ; Yesudhas, Harold Robinson ; Kumar, Raghvendra ; Long, Hoang Viet ; Son, Le Hoang
• Using transformations and verification in circuit design
  Saxe, James B. ; Horning, James J. ; Guttag, John ; Garland, Stephen J.
• Learner verification and revision: An experimental comparison of two methods
  Kandaswamy, Subramaniam ; Stolovitch, Harold D. ; Thiagarajan, Sivasailam
• Event-related potentials reveal rapid verification of predicted visual input
  Dambacher, Michael ; Rolfs, Martin ; Göllner, Kristin ; Kliegl, Reinhold ; Jacobs, Arthur Jacobs M. 2011 Bibliothek der Universität Konstanz
• KFKI-aktuell 2/2007
  Köthe, Harald ; Schüttrumpf, Holger ; Lehmann, Hans-Andreas ; Wanninger, Lambert ; Rost, Christian ; Schenk, Alexander ; Horst, Sebastian ; Herman, Agnieszka ; Kaiser, Ralf ; Niemeyer, Hanz-Dieter ; Mudersbach, Christoph ; Jensen, Jürgen ; Bruss, Gerd ; Jiménez, Néstor ; Heinrichs, Michael ; Eiben, Hartmut ; Schlamkow, Christian ; Fröhle, Peter ; Sommermeier, Knut ; Göpfert, Jens ; Brzank, Alexander ; Lehfeldt, Rainer ; Mayerle, Roberto
• Formal software engineering of distributed systems using focus-streams and automata
  Stüber, Sebastian ; Rumpe, Bernhard ; Grosu, Radu 2025 Universitätsbibliothek der RWTH Aachen
• An orchestration framework for simulation-based development and verification of cyber-physical systems
  Reitz, Jan ; Roßmann, Jürgen ; Kleinert, Tobias 2025 Universitätsbibliothek der RWTH Aachen
• Verification of Derandomized Probabilistic Algorithms
  Karayel, Muhammed Emin ; Nipkow, Tobias ; Thiemann, René ; Kiam, Tan Yong 2025 Universitätsbibliothek der TU München
• Improvement and Verification of the Effectiveness of a CIP System in a Production Tank : Influence of the Spray Ball Alignment and Pump Settings on Cleaning Efficiency
  Schmidt, Alexa ; Kaiser, Christian ; Jovic, Nikola 2025 Hochschule für Angewandte Wissenschaften Hamburg
• Provably Safe Motion Planning for Autonomous Vehicles Through Online Verification
  Pek, Christian Friedrich ; Althoff, Matthias ; Stiller, Christoph 2020 Universitätsbibliothek der TU München