Sciweavers

    4978 search results - page 176 / 996
    » Logical models of argument
    Sort
    View
    APN
    2004
    Springer
    88views Artificial Intelligence» more  APN 2004»
    Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets
    15 years 12 months ago
    Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets
    Download  sbml.org
    Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Deni...
    claim paper
    Read More »
    CAV
    2004
    Springer
    86views Hardware» more  CAV 2004»
    MCK: Model Checking the Logic of Knowledge
    15 years 12 months ago
    MCK: Model Checking the Logic of Knowledge
    Download  www.cse.unsw.edu.au
    Peter Gammie, Ron van der Meyden
    claim paper
    Read More »
    CSB
    2003
    IEEE
    78views Bioinformatics» more  CSB 2003»
    Pathway Logic Modeling of Protein Functional Domains in Signal Transduction
    15 years 12 months ago
    Pathway Logic Modeling of Protein Functional Domains in Signal Transduction
    Download  helix-web.stanford.edu
    Carolyn L. Talcott, Steven Eker, Merrill Knapp, Pa...
    claim paper
    Read More »
    136
    Voted
    ERSHOV
    2001
    Springer
    59views Theoretical Computer Science» more  ERSHOV 2001»
    On Expressive and Model Checking Power of Propositional Program Logics
    15 years 11 months ago
    On Expressive and Model Checking Power of Propositional Program Logics
    Download  www.iis.nsk.su
    Nikolay V. Shilov, Kwang Yi
    claim paper
    Read More »
    144
    Voted
    FPL
    2001
    Springer
    90views Hardware» more  FPL 2001»
    Implementing a Hidden Markov Model Speech Recognition System in Programmable Logic
    15 years 11 months ago
    Implementing a Hidden Markov Model Speech Recognition System in Programmable Logic
    Download  eprints.bham.ac.uk
    Stephen J. Melnikoff, Steven F. Quigley, Martin J....
    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.