„program generation“

Suchergebnisse

1.146 Treffer

• Semantics-directed generation of compilers and abstract machines
  Diehl, Stephan
• A uniform computational model for natural language parsing and generation
  Neumann, Günter
• Editorial – Next generation γδ T cell-based tumor immunotherapy
  Tan, Andy Hee-Meng ; Cheung, Alice Man Sze ; Kabelitz, Dietrich 2022 Universitätsbibliothek Kiel
• CommentAgent: a LLM-powered agent framework for automated comment generation and opinion understanding
  Han, Xiao ; Sun, Jingyun ; Yu, Songhua ; Qin, Libo ; Luo, Hui ; Li, Yang
• Hardware and Software: Verification and Testing – 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
  Biere, Armin ; Nahir, Amir ; Vos, Tanja 2014 Springer International Publishing
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• Altern in unserer Zeit – Späte Lebensphasen zwischen Vitalität und Endlichkeit
  Ehret, Sonja ; Gehring, Petra ; Wozniak, Dagmara ; Rentsch, Thomas ; Zimmermann, Harm-Peer ; Kruse, Andreas ; Grebe, Heinrich ; Höffe, Otfried ; Jakobs, Timo ; Martens, Ekkehard ; Otto, Welf-Gerrit ; Wiegand, Carolin 2013 Campus Verlag
• Altern in unserer Zeit – Späte Lebensphasen zwischen Vitalität und Endlichkeit
  Ehret, Sonja ; Gehring, Petra ; Grebe, Heinrich ; Höffe, Otfried ; Jakobs, Timo ; Martens, Ekkehard ; Otto, Welf-Gerrit ; Wiegand, Carolin ; Wozniak, Dagmara ; Rentsch, Thomas ; Zimmermann, Harm-Peer ; Kruse, Andreas 2013 Campus Verlag
• Hardware and Software: Verification and Testing – 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
  2013 Springer Berlin Heidelberg
• Tests and Proofs – 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
  Veanes, Margus ; Viganò, Luca 2013 Springer Berlin Heidelberg
• Hardware and Software: Verification and Testing – 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
  Eder, Kerstin ; Lourenҫo, João ; Shehory, Onn 2012 Springer Berlin Heidelberg
• Tests and Proofs – 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
  Brucker, Achim D. ; Julliand, Jacques 2012 Springer Berlin Heidelberg
• Database Theory and Application, Bio-Science and Bio-Technology – International Conferences, DTA and BSBT 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2001 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
  Kim, T'ae-hun ; Adeli, Hojjat ; Cuzzocrea, Alfredo ; Arslan, Tughrul ; Zhang, Yanchun ; Ma, Jianhua ; Chung, Kyo-il ; Mariyam, Siti ; Song, Xiaofeng 2011 Springer Berlin Heidelberg
• Applications of Declarative Programming and Knowledge Management – 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
  Abreu, Salvador ; Seipel, Dietmar 2011 Springer Berlin Heidelberg
• Recent Advances in Constraints – 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
  Larrosa, Javier ; O'Sullivan, Barry 2011 Springer Berlin Heidelberg
• Generative and Transformational Techniques in Software Engineering III – International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
  Fernandes, João M. ; Lämmel, Ralf ; Visser, Joost ; Saraiva, João 2011 Springer Berlin Heidelberg
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
• Advances in Artificial Intelligence – IBERAMIA 2010 – 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Advances in Artificial Intelligence – SBIA 2010 – 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings
  Kuri-Morales, Angel ; Simari, Guillermo R. 2011 Springer Berlin Heidelberg
• Domain-Specific Program Generation – International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers
  Lengauer, Christian 2004 Springer Berlin Heidelberg