Sciweavers

    4340 search results - page 61 / 868
    » Formal Methods and Cryptography
    Sort
    View
    TPHOL
    2009
    IEEE
    270views Automated Reasoning» more  TPHOL 2009»
    Formal Verification of Exact Computations Using Newton's Method
    16 years 1 months ago
    Formal Verification of Exact Computations Using Newton's Method
    Download  www-sop.inria.fr
    Nicolas Julien, Ioana Pasca
    claim paper
    Read More »
    MLDM
    2009
    Springer
    135views Machine Learning» more  MLDM 2009»
    Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification
    16 years 1 months ago
    Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification
    Download  www.limsi.fr
    François Bouchet, Jean-Paul Sansonnet
    claim paper
    Read More »
    NCA
    2008
    IEEE
    144views Computer Networks» more  NCA 2008»
    On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
    16 years 1 months ago
    On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
    Download  www.cs.ucy.ac.cy
    In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
    Marina Gelastou, Chryssis Georgiou, Anna Philippou
    claim paper
    Read More »
    AB
    2008
    Springer
    284views Computational Biology» more  AB 2008»
    Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
    16 years 1 months ago
    Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
    Download  www.risc.jku.at
    Johannes Wollbold, Reinhard Guthke, Bernhard Gante...
    claim paper
    Read More »
    ACSD
    2007
    IEEE
    97views Hardware» more  ACSD 2007»
    Towards Hilbertian Formal Methods
    16 years 1 months ago
    Towards Hilbertian Formal Methods
    Download  personalpages.manchester.ac.uk
    Marius C. Bujorianu, Manuela L. Bujorianu
    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.