Sciweavers

    15885 search results - page 3161 / 3177
    » Strategic Software Engineering
    Sort
    View
    TCS
    2008
    117views Theoretical Computer Science» more  TCS 2008»
    A typed lambda calculus with intersection types
    13 years 8 months ago
    A typed lambda calculus with intersection types
    Download  rap.dsi.unifi.it
    Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
    Viviana Bono, Betti Venneri, Lorenzo Bettini
    claim paper
    Read More »
    IPM
    2007
    143views more  IPM 2007»
    QCS: A system for querying, clustering and summarizing documents
    13 years 8 months ago
    QCS: A system for querying, clustering and summarizing documents
    Download  www.sandia.gov
    Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
    Daniel M. Dunlavy, Dianne P. O'Leary, John M. Conr...
    claim paper
    Read More »
    BMCBI
    2005
    106views more  BMCBI 2005»
    ESTree db: a Tool for Peach Functional Genomics
    13 years 8 months ago
    ESTree db: a Tool for Peach Functional Genomics
    Download  www.biomedcentral.com
    Background: The ESTree db http://www.itb.cnr.it/estree/ represents a collection of Prunus persica expressed sequenced tags (ESTs) and is intended as a resource for peach functiona...
    Barbara Lazzari, Andrea Caprera, Alberto Vecchiett...
    claim paper
    Read More »
    JETAI
    2007
    131views more  JETAI 2007»
    A computational architecture for heterogeneous reasoning
    13 years 8 months ago
    A computational architecture for heterogeneous reasoning
    Download  reference.kfupm.edu.sa
    Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
    Dave Barker-Plummer, John Etchemendy
    claim paper
    Read More »
    JSA
    2007
    142views more  JSA 2007»
    Efficient FPGA hardware development: A multi-language approach
    13 years 8 months ago
    Efficient FPGA hardware development: A multi-language approach
    Download  www.see.ed.ac.uk
    This paper presents a multi-language framework to FPGA hardware development which aims to satisfy the dual requirement of high level hardware design and efficient hardware impleme...
    Khaled Benkrid, Abdsamad Benkrid, S. Belkacemi
    claim paper
    Read More »
    « Prev « First page 3161 / 3177 Last » Next »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.