Sciweavers

    8311 search results - page 204 / 1663
    » Phase-Based Information Retrieval
    Sort
    View
    TYPES
    1999
    Springer
    116views Formal Methods» more  TYPES 1999»
    Information Retrieval in a Coq Proof Library Using Type Isomorphisms
    15 years 11 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 »
    182
    Voted
    ADL
    1998
    Springer
    162views Digital Library» more  ADL 1998»
    An Object-Based Information Retrieval Model: Toward the Structural Construction of Thesauri
    15 years 11 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 »
    161
    Voted
    ICCBR
    1997
    Springer
    90views Automated Reasoning» more  ICCBR 1997»
    What You Saw Is What You Want: Using Cases to Seed Information Retrieval
    15 years 11 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 »
    167
    Voted
    EDBT
    1994
    ACM
    109views Database» more  EDBT 1994»
    Supporting Full-Text Information Retrieval with a Persistent Object Store
    15 years 11 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 »
    126
    Voted
    AIME
    2009
    Springer
    112views Artificial Intelligence» more  AIME 2009»
    Multiple Terminologies in a Health Portal: Automatic Indexing and Information Retrieval
    15 years 11 months ago
    Multiple Terminologies in a Health Portal: Automatic Indexing and Information Retrieval
    Download  www.chu-rouen.fr
    Stéfan Jacques Darmoni, Suzanne Pereira, Sa...
    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.