Automated theorem proving is a search problem and, by its undecidability, a very difficult one.
Automatisches Theorembeweisen ist ein spezielles Suchproblem, das aufgrund seiner Unentscheidbarkeit sehr schwierig ist.
This is especially likely when the user cannot formulate his search problem adequately (e.g. when using key words).
Dies ist besonders dann wahrscheinlich, wenn der Anwender sein Suchproblem nicht adäquat formulieren kann (z.B. mit Stichworten).
a search problem has been fixed where a misspelled word was not found if it already existed in the database.
Es wurde ein Problem bei der Suche behoben, bei dem ein falsch geschriebenes Wort nicht gefunden wurde, wenn es im Korpus bereits vorhanden war.
When using knowledge-based recommendation, the preferences explicitly defined by the current user are forwarded to a knowledge base that is used to determine recommendations (solutions to a search problem).
Bei der Verwendung von wissensbasierten Empfehlungen werden die vom aktuellen Benutzer explizit definierten Präferenzen an eine Wissensbasis weitergeleitet, die zur Ermittlung von Empfehlungen (Lösungen für ein Suchproblem) verwendet wird.
It employs genetic programming, a recent meta-heuristic optimisation technique, which allows formulating the task of test sequence generation as a search problem more suitably than the search techniques applied by the existing approaches.
Dieser Ansatz verwendet Genetische Programmierung, ein neuartiges meta-heuristisches Optimierungsverfahren. Dadurch kann die Testsequenz-Generierung geeigneter als Suchproblem formuliert werden als es die existierenden Ansatze gestatten.
Of the many Outlook problems, Outlook 2016 Search problem is another one.
Von den vielen Outlook-Problemen ist das Suchproblem von Outlook 2016 ein anderes.
So here's an image of the long view of the search problem.
Jetzt haben wir also einen Eindruck von der langfristigen Perspektive des Problems.
Click here and forget about driver search problem.
Solution to the search problem is on the back of the card.
Lösung des Rätsels befindet sich auf der Rückseite der Karte.
It is important to keep in mind that the researcher does not usually know much about the response surface of the search problem.
Es ist wichtig zu bedenken, dass der Forscher meist nicht viel über die Response-Funktion des zu untersuchenden Problems weiß.
In a way, such as system successively poses to the user a number of questions whose answer help resolving the search problem.
In gewisser Weise stellt ein solches System dem User nacheinander eine ganze Reihe Fragen, deren Antworten dabei behilflich sind, das Problem der Suche zu lösen.
Indeed, taking into account characteristics of the searchers considerably extend both, the quantity of data to analyse and the dimensionality of the search problem.
Tatsächlich erweitert die Berücksichtigung von Charakteristika von Suchenden beträchtlich beides, die Menge an zu analysierenden Daten und die Dimensionalität des Such-Problems.
and it could be really useful to know about this, and so we recently asked ants to solve the collective search problem in the extreme environment of microgravity
Dieses Wissen könnte sehr nützlich sein, und deshalb ließen wir vor Kurzem Ameisen das Problem der kollektiven Suche im extremen Umfeld der Mikroschwerkraft