„Automatic programming“

Suchergebnisse

364 Treffer

• Automatic quantification of spheroidal graphite nodules using computer vision techniques
  Pereira, Renato F. ; Silva Filho, Valberto E. R. da ; Moura, Lorena B. ; Kumar, N. Arun ; Alexandria, Auzuir R. de ; Albuquerque, Victor Hugo C. ˜deœ
• Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper)
  Di Cosmo, Roberto ; Lienhardt, Michael ; Mauro, Jacopo ; Zacchiroli, Stefano ; Zavattaro, Gianluigi ; Zwolakowski, Jakub 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An ILP-based Proof System for the Crossing Number Problem
  Chimani, Markus ; Wiedera, Tilo 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• eCrop: A Novel Framework for Automatic Crop Damage Estimation in Smart Agriculture
  Mitra, Alakananda ; Singhal, Anshuman ; Mohanty, Saraju ; Kougianos, Elias ; Ray, Chittaranjan
• Lightweight, semi-automatic variability extraction: a case study on scientific computing
  Grebhahn, Alexander ; Kaltenecker, Christian ; Engwer, Christian ; Siegmund, Norbert ; Apel, Sven
• GEP-DNN4Mol: automatic chemical molecular design based on deep neural networks and gene expression programming
  Zheng, Wen ; Li, Zhongji ; Chen, Yuanyuan ; Liao, Wenjia ; Deng, Lei ; Zhang, Hao ; Lin, Yanmei ; Peng, Yuzhong
• An automatic system providing constructive feedback for early programming courses
  Dick, Steffen (M.Sc.) ; Bockisch, Christoph 2025 Philipps-Universität Marburg
• Automated Robot Programming Using Automatically Retrieved Models
  2025 Prior Art Publishing GmbH
• Automatic and Dynamic Visualization of Process-Based Concurrent Programs
  Farina, Daniel Augusto Rodrigues ; Campiolo, Rodrigo ; Rufino, José ; Pereira, Maria João Varanda 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Rose: Composable Autodiff for the Interactive Web
  Estep, Sam ; Ni, Wode ; Rothkopf, Raven ; Sunshine, Joshua 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Semigroups vs Automaton Semigroups (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Picantin, Matthieu 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• EasyCoding - Methodology to Support Programming Learning
  Almeida, Marcela Viana P. ; Alves, Luís M. ; Pereira, Maria João Varanda ; Barbosa, Glívia Angélica R. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Rose: Composable Autodiff for the Interactive Web (Artifact)
  Estep, Sam ; Ni, Wode ; Rothkopf, Raven ; Sunshine, Joshua
• Now It Compiles! Certified Automatic Repair of Uncompilable Protocols
  Cruz-Filipe, Luís ; Montesi, Fabrizio 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Quantum Computer Programming: A Genetic Programming Approach
  Toulouse, Michel
• Automatic Generation of Declarative Models For Differential Cryptanalysis
  Libralesso, Luc ; Delobel, François ; Lafourcade, Pascal ; Solnon, Christine 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finally, a Polymorphic Linear Algebra Language (Pearl)
  Shaikhha, Amir ; Parreaux, Lionel 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Monadic Decomposability of Regular Relations (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Barceló, Pablo ; Hong, Chih-Duo ; Le, Xuan-Bach ; Lin, Anthony Widjaja ; Niskanen, Reino 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Roadmap to Convert Educational Web Applications into LTI Tools
  Leal, José Paulo ; Queirós, Ricardo ; Ferreirinha, Pedro ; Swacha, Jakub 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Integration of Computer Science Assessment into Learning Management Systems with JuezLTI
  Carrillo, Juan V. ; Sierra, Alberto ; Leal, José Paulo ; Queirós, Ricardo ; Pellicer, Salvador ; Primo, Marco 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik