Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
linear-time
Bedoelde u: linear time
Examples with "linear-time" and their translation in Duits
We present novel, linear-time methods to solve the problems, and empirically evaluate each against the state-of-the-art with respect to synthetically-generated data, real-world data and run-time behavior.
Wir stellen neuartige Lösungsmethoden mit linearem Laufzeitzuwachs vor und vergleichen diese in Bezug auf künstlich generierte Daten, reale Daten sowie Laufzeit-Verhalten empirisch mit dem State-of-the-art.
Moreover, the limits of fixed-parameter linear-time algorithms and provably efficient and effective data reduction are shown. URI
Ferner werden die Grenzen von Festparameter-Linearzeitalgorithmen und beweisbar effizienter und effektiver Datenreduktion aufgezeigt.
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time.
Lineare temporale Logik (LTL oder Linear temporal logic) ist eine modale temporale Logik mit zeitlichen Modalitäten.
The tool acts as a model-checker for linear-time logic (LTL) on pushdown systems.
Moped ist ein Model-Checker für Linearzeitlogik (LTL) auf Pushdown-Systemen.
Starting from a linear-time procedure which computes an optimal solution of the MSTSP for nodes in one line, we develop an algorithm for nodes on a two-dimensional (m x n)-grid with Euclidean distances.
Ausgehend von einem Verfahren, das mit linearem Zeitaufwand eine optimale Lösung für das MSTSP für Punkte auf einer Linie ausgibt, entwickeln wir ein Verfahren für Punkte auf einem zweidimensionalen (m x n)-Gitter mit euklidischen Distanzen.
Based upon those, it identifies an M-shaped structure as the smallest undistributable Petri net and proves that this identification is stable across a wide swath of the linear-time branching-time spectrum of behavioural equivalences, collected by Glabbeek.
Innerhalb dieses Modells wird eine M-förmige Struktur als das kleinste unverteilbare Petrinetz identifiziert und gezeigt, dass diese Eigenschaft über einen großen Bereich des durch Glabbeek beschriebenen Linear-Time Branching-Time Spektrums der Verhaltensäquivalenzen stabil bleibt.
Copying a directory on the client side is a linear-time operation, in that it actually has to duplicate every file and subdirectory on the local disk.
Das client-seitige Kopieren eines Verzeichnisses besitzt einen linearen Zeitaufwand, da wirklich jede Datei und jedes Verzeichnis auf der lokalen Platte dupliziert werden muss.
Other than the preceding procedure, the following one works in linear-time: One rounds one summand after the other the usual way, but adds the accumulated rounding error to the next summand before rounding it.
Damit wird die Summe der Beträge der Änderungen minimal. Bei sehr großer Anzahl von Summanden kann folgendes Verfahren schneller sein: Man rundet einen Summanden nach dem anderen und führt die kumulierten Rundungsdifferenzen mit.
Andere resultaten
The connection between linear time and writing is like an endless maze.
Die Beziehung zwischen linearer Zeit und dem Schreiben ist ein einziges Rätsel.
This allows you to experience life within a framework of linear time.
Dies erlaubt euch, das Leben in einem linearen Zeitrahmen zu erfahren.
Linear time did not flow in the dimensions I visited.
In den Dimensionen die ich besuchte floss keine lineare Zeit.
The timepiece is a philosophical interpretation of cyclical and linear time.
Die Uhr ist eine philosophische Betrachtung der zyklischen und linearen Zeit.
In the angels' realm our linear time does not exist.
Eigentlich gibt es in der Geistigen Welt unsere lineare Zeit nicht.
Synoniemen voor linear-time in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 801. Exact: 8. Verstreken tijd: 637 ms.
