solr
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Towards more efficient loop checks

OPAC (1/1)


Elektronisches Buch

Towards more efficient loop checks

Verfasser: Bol, Roland N.
Verlagsort, Jahr: Amsterdam, 1990
Umfang: 18 S.
Reihe: Report CS:   einzelbaende Einzelbände
einzelbaende übergeordneter Titel

Online lesen

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellen
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • Details
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Titel: Towards more efficient loop checks
Von: R. N. Bol
Verfasser: Bol, Roland N.
Verlagsort: Amsterdam
Jahr: 1990
Umfang: 18 S.
Reihe: Report CS
Band: 90,26
Abstract: Abstract: "Loop checking is a mechanism for pruning infinite SLD-derivations. Most loop checks essentially compare the goals in a derivation: a derivation is pruned if 'sufficiently similar' goals are detected. In theory a goal is usually compared with every previous goal in the derivation, but in practice such loop checks are too expensive. Here we investigate how to alter such loop checks to obtain less expensive ones (notably such that the number of comparisons performed is linear in the number of goals generated) while retaining the soundness and completeness results of the original loop check
Andere Ausgabe: Erscheint auch als
_Bemerkung: Online-Ausgabe
Volltext: https://ir.cwi.nl/pub/5722
B3Kat-Nr: BV008950525