Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Constraint-Solving
Examples with "Constraint-Solving" and their translation in Duits
Different knowledge-based reasoning approaches such as conjunctive database queries and constraint-solving can be applied.
Verschiedene wissensbasierte Argumentationsansätze, wie konjunktive Datenbankabfragen und Constraintprogrammierung können darüber hinaus problemlos angewandt werden.
Andere resultaten
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.
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.
The analysis is based on Program Slicing and Constraint Solving.
Grundlage der Analyse sind Program-Slicing und Constraint-Solving.
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.
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 a project we are offering C++ consultancy and develop cutting edge constraint solving technology and novel algorithms for SAP.
In einem Projekt für SAP nutzen wir moderne Constraint-Solving-Technologie in C++.
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.
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.
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.
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.
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.
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.
Synoniemen voor Constraint-Solving in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 23. Exact: 1. Verstreken tijd: 44 ms.
