Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
program synthesis
Translation of "program synthesis" in German
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.
Synonyms and analogies of "program synthesis" in English
Word & Expression of the day
Image of the day
Results: 8. Exact: 8. Elapsed time: 36 ms.
