Sciweavers

    5707 search results - page 11 / 1142
    » Symbolic Simulation - Techniques and Applications
    Sort
    View
    89
    Voted
    BDA
    2003
    101views Knowledge Management» more  BDA 2003»
    Mining association rules with multiple Min-supports - Application to Symbolic data
    15 years 1 months ago
    Mining association rules with multiple Min-supports - Application to Symbolic data
    Download  www.prism.uvsq.fr
    Tao Wan, Karine Zeitouni
    claim paper
    Read More »
    IFE
    2008
    31views more  IFE 2008»
    An industrial application of symbolic model checking
    14 years 11 months ago
    An industrial application of symbolic model checking
    Download  preibusch.de
    Florian Kammüller, Sören Preibusch
    claim paper
    Read More »
    LISP
    2007
    54views more  LISP 2007»
    Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
    14 years 11 months ago
    Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
    Download  osl.cs.uiuc.edu
    José Meseguer, Prasanna Thati
    claim paper
    Read More »
    86
    Voted
    IJDAR
    2000
    77views more  IJDAR 2000»
    Symbol and character recognition: application to engineering drawings
    14 years 11 months ago
    Symbol and character recognition: application to engineering drawings
    Download  hal.archives-ouvertes.fr
    : In this paper, we consider the general problem of technical document interpretation, applied to the documents of the French Telephonic Operator, France Telecom. More precisely, w...
    Sébastien Adam, Jean-Marc Ogier, Claude Car...
    claim paper
    Read More »
    JISE
    1998
    62views more  JISE 1998»
    A Case Study: Synthesis and Exploration of Instruction Set Design for Application-Specific Symbolic Computing
    14 years 11 months ago
    A Case Study: Synthesis and Exploration of Instruction Set Design for Application-Specific Symbolic Computing
    Download  cadal.cse.nsysu.edu.tw
    Ing-Jer Huang
    claim paper
    Read More »
    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-2025, USA.