Document (#14468)

Author
Graf, P.
Title
Term indexing
Imprint
Berlin : Springer
Year
1996
Pages
XIV,284 S
Isbn
3-540-61040-5
Series
Lecture notes in artificial intelligence; vol.1053
Abstract
This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome prgram degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations

Similar documents (author)

  1. Graf, K.: Sci Hub, Fernleihe und Open Access (2016) 5.71 
    5.7074614 = sum of:
  5.7074614 = weight(author_txt:graf in 2325) [ClassicSimilarity], result of:
    5.7074614 = fieldWeight in 2325, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.131938 = idf(docFreq=12, maxDocs=44218)
      0.625 = fieldNorm(doc=2325)
  2. Graf, K.: Großer Suchmaschinentest 2021 : Alternativen zu Google? (2021) 5.71 
    5.7074614 = sum of:
  5.7074614 = weight(author_txt:graf in 2443) [ClassicSimilarity], result of:
    5.7074614 = fieldWeight in 2443, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.131938 = idf(docFreq=12, maxDocs=44218)
      0.625 = fieldNorm(doc=2443)
  3. Graf, K.: Abwechslungsreiche Gemüseküche : ein sehr kurzer Blick in die altbackene Welt deutscher öffentlicher Bibliotheken (2018) 5.71 
    5.7074614 = sum of:
  5.7074614 = weight(author_txt:graf in 4494) [ClassicSimilarity], result of:
    5.7074614 = fieldWeight in 4494, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.131938 = idf(docFreq=12, maxDocs=44218)
      0.625 = fieldNorm(doc=4494)
  4. Graf, A.M.: Describing an outsider art movement from within : the AAT and graffiti art (2016) 5.71 
    5.7074614 = sum of:
  5.7074614 = weight(author_txt:graf in 4894) [ClassicSimilarity], result of:
    5.7074614 = fieldWeight in 4894, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.131938 = idf(docFreq=12, maxDocs=44218)
      0.625 = fieldNorm(doc=4894)
  5. Graf, A.: Vorsicht Falle (2019) 5.71 
    5.7074614 = sum of:
  5.7074614 = weight(author_txt:graf in 5222) [ClassicSimilarity], result of:
    5.7074614 = fieldWeight in 5222, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.131938 = idf(docFreq=12, maxDocs=44218)
      0.625 = fieldNorm(doc=5222)

Similar documents (content)

  1. Voigt, M.; Mitschick, A.; Schulz, J.: Yet another triple store benchmark? : practical experiences with real-world data (2012) 0.11 
    0.10538236 = sum of:
  0.10538236 = product of:
    0.43909317 = sum of:
      0.04746302 = weight(abstract_txt:importance in 476) [ClassicSimilarity], result of:
        0.04746302 = score(doc=476,freq=1.0), product of:
          0.119160764 = queryWeight, product of:
            1.0589743 = boost
            5.098378 = idf(docFreq=733, maxDocs=44218)
            0.022070685 = queryNorm
          0.39831078 = fieldWeight in 476, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.098378 = idf(docFreq=733, maxDocs=44218)
            0.078125 = fieldNorm(doc=476)
      0.053622212 = weight(abstract_txt:finally in 476) [ClassicSimilarity], result of:
        0.053622212 = score(doc=476,freq=1.0), product of:
          0.12925862 = queryWeight, product of:
            1.1029315 = boost
            5.310008 = idf(docFreq=593, maxDocs=44218)
            0.022070685 = queryNorm
          0.4148444 = fieldWeight in 476, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.310008 = idf(docFreq=593, maxDocs=44218)
            0.078125 = fieldNorm(doc=476)
      0.055931084 = weight(abstract_txt:demonstrate in 476) [ClassicSimilarity], result of:
        0.055931084 = score(doc=476,freq=1.0), product of:
          0.13294291 = queryWeight, product of:
            1.1185396 = boost
            5.3851523 = idf(docFreq=550, maxDocs=44218)
            0.022070685 = queryNorm
          0.42071503 = fieldWeight in 476, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.3851523 = idf(docFreq=550, maxDocs=44218)
            0.078125 = fieldNorm(doc=476)
      0.059733596 = weight(abstract_txt:comprehensive in 476) [ClassicSimilarity], result of:
        0.059733596 = score(doc=476,freq=1.0), product of:
          0.1389021 = queryWeight, product of:
            1.1433342 = boost
            5.5045247 = idf(docFreq=488, maxDocs=44218)
            0.022070685 = queryNorm
          0.430041 = fieldWeight in 476, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.5045247 = idf(docFreq=488, maxDocs=44218)
            0.078125 = fieldNorm(doc=476)
      0.09295428 = weight(abstract_txt:reasoning in 476) [ClassicSimilarity], result of:
        0.09295428 = score(doc=476,freq=1.0), product of:
          0.18652739 = queryWeight, product of:
            1.3249213 = boost
            6.378767 = idf(docFreq=203, maxDocs=44218)
            0.022070685 = queryNorm
          0.49834117 = fieldWeight in 476, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.378767 = idf(docFreq=203, maxDocs=44218)
            0.078125 = fieldNorm(doc=476)
      0.12938899 = weight(abstract_txt:implementations in 476) [ClassicSimilarity], result of:
        0.12938899 = score(doc=476,freq=1.0), product of:
          0.23253834 = queryWeight, product of:
            1.4793334 = boost
            7.122176 = idf(docFreq=96, maxDocs=44218)
            0.022070685 = queryNorm
          0.55642 = fieldWeight in 476, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.122176 = idf(docFreq=96, maxDocs=44218)
            0.078125 = fieldNorm(doc=476)
    0.24 = coord(6/25)
  2. Ménard, E.: Ordinary image retrieval in a multilingual context : a comparison of two indexing vocabularies (2010) 0.08 
    0.07728533 = sum of:
  0.07728533 = product of:
    0.38642663 = sum of:
      0.03753555 = weight(abstract_txt:finally in 3946) [ClassicSimilarity], result of:
        0.03753555 = score(doc=3946,freq=1.0), product of:
          0.12925862 = queryWeight, product of:
            1.1029315 = boost
            5.310008 = idf(docFreq=593, maxDocs=44218)
            0.022070685 = queryNorm
          0.29039106 = fieldWeight in 3946, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.310008 = idf(docFreq=593, maxDocs=44218)
            0.0546875 = fieldNorm(doc=3946)
      0.04181352 = weight(abstract_txt:comprehensive in 3946) [ClassicSimilarity], result of:
        0.04181352 = score(doc=3946,freq=1.0), product of:
          0.1389021 = queryWeight, product of:
            1.1433342 = boost
            5.5045247 = idf(docFreq=488, maxDocs=44218)
            0.022070685 = queryNorm
          0.3010287 = fieldWeight in 3946, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.5045247 = idf(docFreq=488, maxDocs=44218)
            0.0546875 = fieldNorm(doc=3946)
      0.04631764 = weight(abstract_txt:resulting in 3946) [ClassicSimilarity], result of:
        0.04631764 = score(doc=3946,freq=1.0), product of:
          0.14870605 = queryWeight, product of:
            1.1829954 = boost
            5.6954722 = idf(docFreq=403, maxDocs=44218)
            0.022070685 = queryNorm
          0.31147113 = fieldWeight in 3946, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.6954722 = idf(docFreq=403, maxDocs=44218)
            0.0546875 = fieldNorm(doc=3946)
      0.055492956 = weight(abstract_txt:term in 3946) [ClassicSimilarity], result of:
        0.055492956 = score(doc=3946,freq=1.0), product of:
          0.2113487 = queryWeight, product of:
            1.9944978 = boost
            4.8012047 = idf(docFreq=987, maxDocs=44218)
            0.022070685 = queryNorm
          0.26256588 = fieldWeight in 3946, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.8012047 = idf(docFreq=987, maxDocs=44218)
            0.0546875 = fieldNorm(doc=3946)
      0.20526695 = weight(abstract_txt:indexing in 3946) [ClassicSimilarity], result of:
        0.20526695 = score(doc=3946,freq=11.0), product of:
          0.26018757 = queryWeight, product of:
            2.710333 = boost
            4.3495874 = idf(docFreq=1551, maxDocs=44218)
            0.022070685 = queryNorm
          0.78891915 = fieldWeight in 3946, product of:
            3.3166249 = tf(freq=11.0), with freq of:
              11.0 = termFreq=11.0
            4.3495874 = idf(docFreq=1551, maxDocs=44218)
            0.0546875 = fieldNorm(doc=3946)
    0.2 = coord(5/25)
  3. Information science in transition (2009) 0.08 
    0.075023435 = sum of:
  0.075023435 = product of:
    0.37511718 = sum of:
      0.033558648 = weight(abstract_txt:demonstrate in 634) [ClassicSimilarity], result of:
        0.033558648 = score(doc=634,freq=1.0), product of:
          0.13294291 = queryWeight, product of:
            1.1185396 = boost
            5.3851523 = idf(docFreq=550, maxDocs=44218)
            0.022070685 = queryNorm
          0.252429 = fieldWeight in 634, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.3851523 = idf(docFreq=550, maxDocs=44218)
            0.046875 = fieldNorm(doc=634)
      0.04150958 = weight(abstract_txt:written in 634) [ClassicSimilarity], result of:
        0.04150958 = score(doc=634,freq=1.0), product of:
          0.15318906 = queryWeight, product of:
            1.2006948 = boost
            5.780685 = idf(docFreq=370, maxDocs=44218)
            0.022070685 = queryNorm
          0.2709696 = fieldWeight in 634, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.780685 = idf(docFreq=370, maxDocs=44218)
            0.046875 = fieldNorm(doc=634)
      0.06310933 = weight(abstract_txt:foundations in 634) [ClassicSimilarity], result of:
        0.06310933 = score(doc=634,freq=1.0), product of:
          0.20254643 = queryWeight, product of:
            1.3806419 = boost
            6.6470313 = idf(docFreq=155, maxDocs=44218)
            0.022070685 = queryNorm
          0.31157959 = fieldWeight in 634, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.6470313 = idf(docFreq=155, maxDocs=44218)
            0.046875 = fieldNorm(doc=634)
      0.18937422 = weight(abstract_txt:monograph in 634) [ClassicSimilarity], result of:
        0.18937422 = score(doc=634,freq=3.0), product of:
          0.29217005 = queryWeight, product of:
            1.6581988 = boost
            7.983315 = idf(docFreq=40, maxDocs=44218)
            0.022070685 = queryNorm
          0.6481644 = fieldWeight in 634, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            7.983315 = idf(docFreq=40, maxDocs=44218)
            0.046875 = fieldNorm(doc=634)
      0.047565393 = weight(abstract_txt:term in 634) [ClassicSimilarity], result of:
        0.047565393 = score(doc=634,freq=1.0), product of:
          0.2113487 = queryWeight, product of:
            1.9944978 = boost
            4.8012047 = idf(docFreq=987, maxDocs=44218)
            0.022070685 = queryNorm
          0.22505647 = fieldWeight in 634, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.8012047 = idf(docFreq=987, maxDocs=44218)
            0.046875 = fieldNorm(doc=634)
    0.2 = coord(5/25)
  4. Rasmussen Pennington, D.; Cagnazzo, L.: Connecting the silos : implementations and perceptions of linked data across European libraries (2019) 0.06 
    0.06487222 = sum of:
  0.06487222 = product of:
    0.3243611 = sum of:
      0.031973425 = weight(abstract_txt:help in 5282) [ClassicSimilarity], result of:
        0.031973425 = score(doc=5282,freq=1.0), product of:
          0.106258206 = queryWeight, product of:
            4.81445 = idf(docFreq=974, maxDocs=44218)
            0.022070685 = queryNorm
          0.3009031 = fieldWeight in 5282, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.81445 = idf(docFreq=974, maxDocs=44218)
            0.0625 = fieldNorm(doc=5282)
      0.03493508 = weight(abstract_txt:survey in 5282) [ClassicSimilarity], result of:
        0.03493508 = score(doc=5282,freq=1.0), product of:
          0.11272257 = queryWeight, product of:
            1.0299691 = boost
            4.9587345 = idf(docFreq=843, maxDocs=44218)
            0.022070685 = queryNorm
          0.3099209 = fieldWeight in 5282, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.9587345 = idf(docFreq=843, maxDocs=44218)
            0.0625 = fieldNorm(doc=5282)
      0.063278794 = weight(abstract_txt:demonstrate in 5282) [ClassicSimilarity], result of:
        0.063278794 = score(doc=5282,freq=2.0), product of:
          0.13294291 = queryWeight, product of:
            1.1185396 = boost
            5.3851523 = idf(docFreq=550, maxDocs=44218)
            0.022070685 = queryNorm
          0.47598472 = fieldWeight in 5282, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.3851523 = idf(docFreq=550, maxDocs=44218)
            0.0625 = fieldNorm(doc=5282)
      0.047786877 = weight(abstract_txt:comprehensive in 5282) [ClassicSimilarity], result of:
        0.047786877 = score(doc=5282,freq=1.0), product of:
          0.1389021 = queryWeight, product of:
            1.1433342 = boost
            5.5045247 = idf(docFreq=488, maxDocs=44218)
            0.022070685 = queryNorm
          0.3440328 = fieldWeight in 5282, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.5045247 = idf(docFreq=488, maxDocs=44218)
            0.0625 = fieldNorm(doc=5282)
      0.14638692 = weight(abstract_txt:implementations in 5282) [ClassicSimilarity], result of:
        0.14638692 = score(doc=5282,freq=2.0), product of:
          0.23253834 = queryWeight, product of:
            1.4793334 = boost
            7.122176 = idf(docFreq=96, maxDocs=44218)
            0.022070685 = queryNorm
          0.6295174 = fieldWeight in 5282, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            7.122176 = idf(docFreq=96, maxDocs=44218)
            0.0625 = fieldNorm(doc=5282)
    0.2 = coord(5/25)
  5. Batley, S.: Classification in theory and practice (2005) 0.06 
    0.063477196 = sum of:
  0.063477196 = product of:
    0.2644883 = sum of:
      0.01998339 = weight(abstract_txt:help in 1170) [ClassicSimilarity], result of:
        0.01998339 = score(doc=1170,freq=1.0), product of:
          0.106258206 = queryWeight, product of:
            4.81445 = idf(docFreq=974, maxDocs=44218)
            0.022070685 = queryNorm
          0.18806444 = fieldWeight in 1170, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.81445 = idf(docFreq=974, maxDocs=44218)
            0.0390625 = fieldNorm(doc=1170)
      0.028833615 = weight(abstract_txt:theoretical in 1170) [ClassicSimilarity], result of:
        0.028833615 = score(doc=1170,freq=2.0), product of:
          0.10768927 = queryWeight, product of:
            1.0067114 = boost
            4.846761 = idf(docFreq=943, maxDocs=44218)
            0.022070685 = queryNorm
          0.26774827 = fieldWeight in 1170, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.846761 = idf(docFreq=943, maxDocs=44218)
            0.0390625 = fieldNorm(doc=1170)
      0.06382649 = weight(abstract_txt:detail in 1170) [ClassicSimilarity], result of:
        0.06382649 = score(doc=1170,freq=3.0), product of:
          0.15978767 = queryWeight, product of:
            1.2262821 = boost
            5.9038734 = idf(docFreq=327, maxDocs=44218)
            0.022070685 = queryNorm
          0.39944562 = fieldWeight in 1170, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            5.9038734 = idf(docFreq=327, maxDocs=44218)
            0.0390625 = fieldNorm(doc=1170)
      0.047244556 = weight(abstract_txt:parallel in 1170) [ClassicSimilarity], result of:
        0.047244556 = score(doc=1170,freq=1.0), product of:
          0.18857504 = queryWeight, product of:
            1.3321737 = boost
            6.4136834 = idf(docFreq=196, maxDocs=44218)
            0.022070685 = queryNorm
          0.2505345 = fieldWeight in 1170, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.4136834 = idf(docFreq=196, maxDocs=44218)
            0.0390625 = fieldNorm(doc=1170)
      0.06039289 = weight(abstract_txt:treated in 1170) [ClassicSimilarity], result of:
        0.06039289 = score(doc=1170,freq=1.0), product of:
          0.22211279 = queryWeight, product of:
            1.4457911 = boost
            6.9606886 = idf(docFreq=113, maxDocs=44218)
            0.022070685 = queryNorm
          0.2719019 = fieldWeight in 1170, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.9606886 = idf(docFreq=113, maxDocs=44218)
            0.0390625 = fieldNorm(doc=1170)
      0.044207364 = weight(abstract_txt:indexing in 1170) [ClassicSimilarity], result of:
        0.044207364 = score(doc=1170,freq=1.0), product of:
          0.26018757 = queryWeight, product of:
            2.710333 = boost
            4.3495874 = idf(docFreq=1551, maxDocs=44218)
            0.022070685 = queryNorm
          0.16990575 = fieldWeight in 1170, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.3495874 = idf(docFreq=1551, maxDocs=44218)
            0.0390625 = fieldNorm(doc=1170)
    0.24 = coord(6/25)