Erwerb funktionaler, räumlicher und kausaler Beziehungen von ...

ai.cs.uni.dortmund.de

Erwerb funktionaler, räumlicher und kausaler Beziehungen von ...

Klassifikation von Schadensteilen mit STT 58

O(log n) zur Folge hätte. Im Hinblick auf die Laufzeit und den Speicherbedarf von STT

(vgl. Abschnitt 7.4) schien es aber nicht von erforderlich, die Laufzeit von DOCTOFAC

zu optimieren. Die Laufzeit von DOCTOFAC beträgt nur einen Bruchteil der Laufzeit

von STT. Außerdem müssen alle Fakten nur einmal generiert werden.

Einschränkungen

• Die Anzahl von Zeichen einer Zeile der Konfigurationsdatei oder der Eingabedatei ist

auf 1000 beschränkt.

• Die Anzahl von Zeichen der Namen der Eingabedatei und der Ausgabedatei sind auf

200 beschränkt.

• Die Anzahl von Zeichen der Musters bei der Argumentdefinition oder der

Prädikatsdefinition ist auf 100 beschränkt. Das bedeutet

Länge(Arg 6 ) in PREDICATE_DEFINITION

Weitere Magazine dieses Users
Ähnliche Magazine