We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Programmsynthese
This thesis at first provides a comprehensive overview of current approaches and methods to inductive program synthesis.
Diese Arbeit bietet zunächst einen umfassenden Überblick über bestehende Ansätze und Methoden der induktiven Programmsynthese.
The results of our studies will be used in the program synthesis to evaluate the practicability of landscape development scenarios regarding possible land use conflicts.
Die Resultate unserer Studien werden in der Programmsynthese eingesetzt, um die Umsetzbarkeit von Landschaftsentwicklungsszenarien hinsichtlich möglicher Raumnutzungskonflikte zu beurteilen.
program analysis, program synthesis, application of machine learning to programming languages, concurrency
Programmanalyse, Programmsynthese, Anwendung maschinellen Lernens auf Programmiersprachen, Parallelität
However, the approach of program synthesis is only applicable in restricted scenarios, in particular in reactive (multi-agent-)systems with low data complexity and in control systems.
Der Ansatz der Programmsynthese ist jedoch nur in eingeschränkten Szenarien anwendbar, insbesondere in reaktiven (Multi-Agenten-) Systemen mit geringer Datenkomplexität und in Kontrollsystemen.
In inductive program synthesis, recursive programs are constructed by generalizing over incomplete specifications such as finite sets of input/output examples (I/O examples).
In der induktiven Programmsynthese werden rekursive Programme durch das Generalisieren über unvollständige Spezifikationen, wie zum Beispiel endliche Mengen von Eingabe/Ausgabe Beispielen (E/A-Beispielen), generiert.
In 2015 he was the first professor at Saarland University to be awarded the ERC Consolidator Grant of the European Union for his work on automatic program synthesis.
2015 wurde er als erster Professor der Universität des Saarlandes mit dem ERC Consolidator Grant der Europäischen Union für seine Arbeit zur automatischen Programmsynthese ausgezeichnet.
Program synthesis addresses the problem of (semi-)automatically generating computer programs from specifications.
Die Programmsynthese beschäftigt sich mit der (semi-)automatischen Konstruktion von Computer-Programmen aus Spezifikationen.
DeepCoder is said to employ program synthesis, i.e.
DeepCoder soll zur Programmsynthese in der Lage sein.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.