Sciweavers

    8301 search results - page 77 / 1661
    » Risk-Aware Information Retrieval
    Sort
    View
    TSD
    1999
    Springer
    84views Signal Processing» more  TSD 1999»
    Document Title Patterns in Information Retrieval
    15 years 8 months ago
    Document Title Patterns in Information Retrieval
    Download  ccc.inaoep.mx
    Manuel Montes-y-Gómez, Alexander F. Gelbukh...
    claim paper
    Read More »
    TYPES
    1999
    Springer
    116views Formal Methods» more  TYPES 1999»
    Information Retrieval in a Coq Proof Library Using Type Isomorphisms
    15 years 8 months ago
    Information Retrieval in a Coq Proof Library Using Type Isomorphisms
    Download  cedric.cnam.fr
    We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
    David Delahaye
    claim paper
    Read More »
    ADL
    1998
    Springer
    162views Digital Library» more  ADL 1998»
    An Object-Based Information Retrieval Model: Toward the Structural Construction of Thesauri
    15 years 8 months ago
    An Object-Based Information Retrieval Model: Toward the Structural Construction of Thesauri
    Download  ozzy.chonbuk.ac.kr
    J. J. Han, J. H. Choi, J. J. Park, J. D. Yang, J. ...
    claim paper
    Read More »
    ICCBR
    1997
    Springer
    90views Automated Reasoning» more  ICCBR 1997»
    What You Saw Is What You Want: Using Cases to Seed Information Retrieval
    15 years 8 months ago
    What You Saw Is What You Want: Using Cases to Seed Information Retrieval
    Download  ciir.cs.umass.edu
    Jody J. Daniels, Edwina L. Rissland
    claim paper
    Read More »
    EDBT
    1994
    ACM
    109views Database» more  EDBT 1994»
    Supporting Full-Text Information Retrieval with a Persistent Object Store
    15 years 8 months ago
    Supporting Full-Text Information Retrieval with a Persistent Object Store
    Download  reference.kfupm.edu.sa
    Eric W. Brown, James P. Callan, W. Bruce Croft, J....
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.