Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
constraint solving
Vertaling van "constraint solving" in Duits
Constraintlösen
Typical applications are constraint solving, natural language processing, type checking, and reasoning capabilities for multi-agent systems.
Typische Anwendungen sind Constrainlösen, natürliche Sprachverarbeitung, Typüberprüfung und Schließen in Multiagentensystemen.
Existing approaches for automating structure-oriented testing of models are primarily based on symbolic execution and constraint solving or random search respectively.
Existierende Ansätze zur Automatisierung des strukturorientierten Tests für Modelle basieren hauptsächlich auf symbolischer Ausführung und Constraint Solving oder der Zufallssuche.
The approaches based on symbolic execution and constraint solving inherit the limitations of these techniques, which are, for instance, issues with scalability and problems with loops, arrays, and complex predicates.
Die Ansatze basierend auf symbolischer Ausfuhrung und Constraint-Losung weisen die Beschrankungen dieser Techniken auf. Dies sind beispielsweise Einschrankungen hinsichtlich der Skalierbarkeit und bei der Verwendung bestimmter Programmierkonstrukte wie Schleifen, Felder und komplexer Pradikate.
Constraint-based programming has emerged as a clever combination of two logic-based paradigms: logic programming and constraint solving.
Die Constraint-basierte Programmierung ist aus der geschickten Verbindung zweier logik-basierter deklarativer Paradigmen entstanden: Logikprogrammierung und Lösen von Constraints.
For this purpose we introduce a graph transformation-based algorithm to translate the feature model into a binary constraint satisfaction problem and also an algorithm combining constraint solving techniques with a feature combination strategy to generate the representative set of products.
Dazu wird das Featuremodell durch Graphtransformation in ein binäres Constraint Satisfaction Problem übersetzt, welches dann durch eine Kombination von Constraint Solver und kombinatorischem Testen gelöst wird, um die repräsentative Menge von Produkten zu generieren.
It hosts fundamental research (algorithms and complexity, programming logics) as well a research for various application domains (computer graphics, geometric computation, constraint solving, computational biology).
Das Interesse reicht von der Grundlagenforschung (Algorithmen und Komplexität, Logik der Programmierung) bis zu einer Reihe von Anwendungsbereichen (Computergrafik, Geometric Computation, Constraint Solving, Programmverifikation, Datenbanken und Informationssysteme, Bioinformatik).
GNU Prolog is a standards-compliant Prolog compiler with constraint solving over finite domains.
GNU Prolog ist ein standardkonformer Prolog-Compiler mit der eingeschränkten Lösung über endliche Domains.
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.
Was ist GNU Prolog GNU Prolog istfreier Prolog-Compiler mit beschränktem Lösen über finite Domänen von Daniel Diaz entwickelt.
Constraint solving in turn means solving problems by stating constraints (conditions, restrictions) that have to be satisfied by a solution and combining these constraints to narrow the search space before trying alternatives by search.
Unter Constraintlösen wiederum versteht man das Lösen von Problemen, indem man Constraints (Bedingungen, Einschränkungen) angibt, die von einer Lösung erfüllt werden müssen, und diese Constraints kombiniert, um die Lösung weiter einzuschränken, bevor man durch einen Suchschritt Alternativen erprobt.
To account for the increasing performance and scalability demands the VC Backend is ported to a leading-edge, C++-based Constraint Solving technology.
Um den gestiegenen Skalierbarkeits- und Performanzanforderungen gerecht zu werden, wird das VC-Backend auf eine neue C++ basierte Constraint-Solving-Technologie umgestellt.
The analysis is based on Program Slicing and Constraint Solving.
Grundlage der Analyse sind Program-Slicing und Constraint-Solving.
Thus complex combinatorial problems can be treated efficiently and elegantly by combining constraint solving and searching.
Dadurch lassen sich schnell und elegant komplexe kombinatorische Probleme durch eine Verbindung aus Constraintlösen und Suche behandeln.
In the thesis, we present novel constraint based verification methods and algorithms for constraint solving that increase the efficiency of software verification.
In der Arbeit werden neuartige Constraint basierte Verifikationsmethoden und Lösungsverfahren für Constraint-Probleme vorgestellt, welche eine effizientere Verifikation von Programmen erlauben.
Synoniemen voor constraint solving in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 15. Exact: 15. Verstreken tijd: 70 ms.
