Sciweavers

    17920 search results - page 3515 / 3584
    » Recentering computer science
    Sort
    View
    111
    Voted
    AIML
    2008
    273views Logical Reasoning» more  AIML 2008»
    Valentini's cut-elimination for provability logic resolved
    15 years 2 months ago
    Valentini's cut-elimination for provability logic resolved
    Download  www.aiml.net
    In 1983, Valentini presented a syntactic proof of cut-elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for "Valentini&q...
    Rajeev Goré, Revantha Ramanayake
    claim paper
    Read More »
    109
    Voted
    BCS
    2008
    176views Computer Science» more  BCS 2008»
    A Customisable Multiprocessor for Application-Optimised Inductive Logic Programming
    15 years 2 months ago
    A Customisable Multiprocessor for Application-Optimised Inductive Logic Programming
    Download  www.bcs.org
    This paper describes a customisable processor designed to accelerate execution of inductive logic programming, targeting advanced field-programmable gate array (FPGA) technology. ...
    Andreas Fidjeland, Wayne Luk, Stephen Muggleton
    claim paper
    Read More »
    CCE
    2007
    139views Software Engineering» more  CCE 2007»
    A Web Services based Approach for System on a Chip Design Planning
    15 years 2 months ago
    A Web Services based Approach for System on a Chip Design Planning
    Download  subs.emis.de
    : The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...
    Maciej Witczynski, Edward Hrynkiewicz, Adam Pawlak
    claim paper
    Read More »
    105
    Voted
    CSC
    2008
    175views Applied Computing» more  CSC 2008»
    The Dirichlet problem for the Laplace equation in a starlike domain
    15 years 2 months ago
    The Dirichlet problem for the Laplace equation in a starlike domain
    Download  www.emis.de
    Many applications of Mathematical Physics and Engineering are connected with the Laplacian, however, the most part of BVP relevant to the Laplacian are solved in explicit form onl...
    Diego Caratelli, Paolo Emilio Ricci
    claim paper
    Read More »
    97
    Voted
    LREC
    2010
    160views Education» more  LREC 2010»
    FrAG, a Hybrid Constraint Grammar Parser for French
    15 years 2 months ago
    FrAG, a Hybrid Constraint Grammar Parser for French
    Download  beta.visl.sdu.dk
    This paper describes a hybrid tagger/parser for French (FrAG), and presents results from ongoing development work, corpus annotation and evaluation. The core of the system is a se...
    Eckhard Bick
    claim paper
    Read More »
    « Prev « First page 3515 / 3584 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-2026, USA.