Sciweavers

    10568 search results - page 103 / 2114
    » Computer Intelligence and Formalization
    Sort
    View
    EGICE
    2006
    227views Applied Computing» more  EGICE 2006»
    Formalizing Construction Knowledge for Concurrent Performance-Based Design
    15 years 4 months ago
    Formalizing Construction Knowledge for Concurrent Performance-Based Design
    Download  imac.epfl.ch
    Martin Fischer
    claim paper
    Read More »
    65
    Voted
    SAC
    2002
    ACM
    77views Applied Computing» more  SAC 2002»
    Formal verification of replication on a distributed data space architecture
    15 years 2 months ago
    Formal verification of replication on a distributed data space architecture
    Download  ftp.inrialpes.fr
    Jozef Hooman, Jaco van de Pol
    claim paper
    Read More »
    98
    Voted
    GI
    2010
    Springer
    107views Theoretical Computer Science» more  GI 2010»
    Formalizing Dependencies in Business Process Models Using Constraint Satisfaction
    15 years 1 months ago
    Formalizing Dependencies in Business Process Models Using Constraint Satisfaction
    Download  www.inf.uos.de
    Wolfgang Runte
    claim paper
    Read More »
    113
    Voted
    TCSB
    2010
    141views Computational Biology» more  TCSB 2010»
    A Language for Biochemical Systems: Design and Formal Specification
    15 years 1 months ago
    A Language for Biochemical Systems: Design and Formal Specification
    Download  homepages.inf.ed.ac.uk
    Michael Pedersen, Gordon D. Plotkin
    claim paper
    Read More »
    90
    Voted
    ACL
    2010
    137views Computational Linguistics» more  ACL 2010»
    The Use of Formal Language Models in the Typology of the Morphology of Amerindian Languages
    15 years 23 days ago
    The Use of Formal Language Models in the Typology of the Morphology of Amerindian Languages
    Download  aclweb.org
    Andres Osvaldo Porta
    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.