Sciweavers

    29046 search results - page 481 / 5810
    » Computable Models
    Sort
    View
    179
    Voted
    SPIN
    2001
    Springer
    144views Theoretical Computer Science» more  SPIN 2001»
    Directed Explicit Model Checking with HSF-SPIN
    15 years 11 months ago
    Directed Explicit Model Checking with HSF-SPIN
    Download  www.albertolluch.com
    Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...
    claim paper
    Read More »
    123
    Voted
    WG
    2001
    Springer
    69views Theoretical Computer Science» more  WG 2001»
    Planarity of the 2-Level Cactus Model
    15 years 11 months ago
    Planarity of the 2-Level Cactus Model
    Download  www.ub.uni-konstanz.de
    Sabine Cornelsen, Yefim Dinitz, Dorothea Wagner
    claim paper
    Read More »
    SAC
    2000
    ACM
    87views Applied Computing» more  SAC 2000»
    Modeling of Time and Document Aging for Request Prediction - One Step Further
    15 years 10 months ago
    Modeling of Time and Document Aging for Request Prediction - One Step Further
    Download  wiki.uni.lu
    Ernst Georg Haffner, Uwe Roth, Thomas Engel, Chris...
    claim paper
    Read More »
    145
    Voted
    AMDO
    2000
    Springer
    94views Computer Graphics» more  AMDO 2000»
    Robust Manipulation of Deformable Objects Using Model Based Technique
    15 years 10 months ago
    Robust Manipulation of Deformable Objects Using Model Based Technique
    Download  www.mint.se.ritsumei.ac.jp
    Takahiro Wada, Shinichi Hirai, H. Mori, Sadao Kawa...
    claim paper
    Read More »
    147
    Voted
    ECCV
    2000
    Springer
    123views Computer Vision» more  ECCV 2000»
    Layer Extraction with a Bayesian Model of Shapes
    15 years 10 months ago
    Layer Extraction with a Bayesian Model of Shapes
    Download  mi.eng.cam.ac.uk
    Philip H. S. Torr, Anthony R. Dick, Roberto Cipoll...
    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.