Sciweavers

    28445 search results - page 526 / 5689
    » Anatomically based modeling
    Sort
    View
    120
    Voted
    ISSS
    1997
    IEEE
    59views Hardware» more  ISSS 1997»
    Derivation of Formal Representations from Process-Based Specification and Implementation Models
    15 years 8 months ago
    Derivation of Formal Representations from Process-Based Specification and Implementation Models
    Download  www.cs.york.ac.uk
    Steven Vercauteren, Diederik Verkest, Gjalt G. de ...
    claim paper
    Read More »
    ICAIL
    1997
    ACM
    119views Artificial Intelligence» more  ICAIL 1997»
    Formalization of Legislative Documents Based on a Functional Model
    15 years 8 months ago
    Formalization of Legislative Documents Based on a Functional Model
    Download  www.ittig.cnr.it
    Daniela Tiscornia, Fabrizio Turchi
    claim paper
    Read More »
    SPAA
    1997
    ACM
    75views Distributed And Parallel Com...» more  SPAA 1997»
    Thread Partitioning and Scheduling Based on Cost Model
    15 years 8 months ago
    Thread Partitioning and Scheduling Based on Cost Model
    Download  www.jos.org.cn
    Xinan Tang, Jing Wang, Kevin B. Theobald, Guang R....
    claim paper
    Read More »
    102
    Voted
    FGR
    1996
    IEEE
    100views Biometrics» more  FGR 1996»
    Facial Analysis and Synthesis Using Image-Based Models
    15 years 8 months ago
    Facial Analysis and Synthesis Using Image-Based Models
    Download  people.csail.mit.edu
    Tony Ezzat, Tomaso Poggio
    claim paper
    Read More »
    CAV
    1997
    Springer
    111views Hardware» more  CAV 1997»
    RuleBase: Model Checking at IBM
    15 years 8 months ago
    RuleBase: Model Checking at IBM
    Download  www.cs.uwaterloo.ca
    Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel ...
    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.