„Program Generation“

Suchergebnisse

1.146 Treffer

• Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints
  Lafleur, Daphné ; Chandar, Sarath ; Pesant, Gilles 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Framework for Generating Informative Benchmark Instances
  Nguyen Dang ; Akgün, Özgür ; Espasa, Joan ; Miguel, Ian ; Nightingale, Peter 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 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
• The Dungeon Variations Problem Using Constraint Programming
  Glorian, Gaël ; Debesson, Adrien ; Yvon-Paliot, Sylvain ; Simon, Laurent 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Invariants (Invited Talk)
  Ouaknine, Joël 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bidding in sequential electricity markets: The Nordic case
  Boomsma, Trine Krogh ; Juul, Nina ; Fleten, Stein-Erik 2013 Humboldt-Universität zu Berlin
• Large Language Models: Compilers for the 4^{th} Generation of Programming Languages? (Short Paper)
  S. Marcondes, Francisco ; Almeida, José João ; Novais, Paulo 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• NLP/AI Based Techniques for Programming Exercises Generation
  Freitas, Tiago Carvalho ; Costa Neto, Alvaro ; Pereira, Maria João Varanda ; Henriques, Pedro Rangel 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation
  Lepper, Markus ; Trancón y Widemann, Baltasar 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Answer Set Solving with Lazy Nogood Generation
  Drescher, Christian ; Walsh, Toby 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Moopec: A Tool for Creating Programming Problems
  Mendes, Rui C. 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Digital Collection Creator, Visualizer and Explorer
  Martins, Luís F. ; Araújo, Cristiana ; Henriques, Pedro Rangel 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Column Generation Approach for Pure Parsimony Haplotyping
  Dal Sasso, Veronica ; De Giovanni, Luigi ; Labbé, Martine 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Column Generation for Bi-Objective Vehicle Routing Problems with a Min-Max Objective
  Sarpong, Boadu Mensah ; Artigues, Christian ; Jozefowiez, Nicolas 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CodeSkelGen - A Program Skeleton Generator
  Queirós, Ricardo 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimal Freight Train Classification using Column Generation
  Bohlin, Markus ; Dahms, Florian ; Flier, Holger ; Gestrelius, Sara 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The New Generation of Algorithmic Debuggers (Keynote)
  Silva Galiana, Josep 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Almost 20 Years of Combinatorial Optimization for Railway Planning: from Lagrangian Relaxation to Column Generation
  Caprara, Alberto 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Testing and Verification of Compilers (Dagstuhl Seminar 17502)
  Chen, Junjie ; Donaldson, Alastair F. ; Zeller, Andreas ; Zhang, Hongyu
• Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
  Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong