„Automated abstraction“

Suchergebnisse

1.000+ Treffer

• Automated abstraction of myocardial perfusion imaging reports using natural language processing
  Sharedalal, Parija ; Singh, Ajay ; Shah, Neal ; Jain, Diwakar
• Automated abstraction of myocardial perfusion imaging reports using natural language processing
  Zheng, Chengyi ; Sun, Benjamin C. ; Wu, Yi-Lin ; Ferencik, Maros ; Lee, Ming-Sum ; Redberg, Rita F. ; Kawatkar, Aniket A. ; Musigdilok, Visanee V. ; Sharp, Adam L.
• Automated construction of predicate abstractions for smart contract validation
  Godoy, Javier ; Torres, Eden ; Galeotti, Juan P. ; Garbervetsky, Diego ; Uchitel, Sebastian
• Full Chip Dynamic Voltage Drop Analysis Using Automated Abstractions of Cell and Block Properties
  Harizi, Hedi 2010 Verlag Dr. Hut
• Automated assertion transformation across multiple abstraction levels
  Steininger, Thomas
• Automated qualitative abstraction and its application to automotive systems
  Sachenbacher, Martin
• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• symQV – Automated Symbolic Verification of Quantum Programs
  Bauer-Marquart, Fabian ; Leue, Stefan ; Schilling, Christian 2023 KOPS Universität Konstanz
• Automated Predicate Abstraction for Real-Time Models
  Badban, Bahareh ; Leue, Stefan ; Smaus, Jan-Georg 2010 Bibliothek der Universität Konstanz
• Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
  Ábrahám, Erika ; Johnsen, Einar Broch ; Bonsangue, Marcello M. 2016 Springer International Publishing
• Building scalable hierarchical abstractions in the enriched robustness diagram with loop and time controls
  Petilos, Edu ; Malinao, Jasmine
• Towards Automated Program Abstraction and Language Enrichment
  Chodarev, Sergej ; Pietriková, Emília ; Kollár, Ján 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Abstracting Continuous Nonpolynomial Dynamical Systems
  Denman, William 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• String Analysis for Software Verification and Security
  Bultan, Tevfik ; Alkhalaf, Muath ; Yu, Fang ; Aydin, Abdulbaki 2017 Springer International Publishing
• Reproducibility in automated chemistry laboratories using computer science abstractions
  Canty, Richard B. ; Abolhasani, Milad
• Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
  Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian
• Abstraction of Meaningful Symbolized Objects
  Kollár, Ján ; Sičák, Michal ; Spišiak, Milan
• Automated qualitative abstraction and its application to automotive systems
  Sachenbacher, Martin
• RUBubbles as a novel tool to study categorization learning
  Klarer, Aylin ; Rose, Jonas 2021 Ruhr-Universität Bochum
• Knowledge-based spatiotemporal linear abstraction
  Shahar, Y. ; Molina, M.