Sciweavers

    31387 search results - page 329 / 6278
    » Abstracting abstract machines
    Sort
    View
    BMCBI
    2010
    69views more  BMCBI 2010»
    Extracting the abstraction pyramid from complex networks
    15 years 6 months ago
    Extracting the abstraction pyramid from complex networks
    Download  www.biomedcentral.com
    Chia-Ying Cheng, Yuh-Jyh Hu
    claim paper
    Read More »
    130
    Voted
    CGF
    2008
    84views more  CGF 2008»
    Visual Abstractions of Solvent Pathlines near Protein Cavities
    15 years 6 months ago
    Visual Abstractions of Solvent Pathlines near Protein Cavities
    Download  www.vis.uni-stuttgart.de
    bstractions of Solvent Pathlines near Protein Cavities Katrin Bidmon1 , Sebastian Grottel1 , Fabian B
    Katrin Bidmon, Sebastian Grottel, Fabian Bös,...
    claim paper
    Read More »
    CGF
    2008
    85views more  CGF 2008»
    Abstractive Representation and Exploration of Hierarchically Clustered Diffusion Tensor Fiber Tracts
    15 years 6 months ago
    Abstractive Representation and Exploration of Hierarchically Clustered Diffusion Tensor Fiber Tracts
    Download  www.cse.msstate.edu
    Wei Chen, Song Zhang, Stephen Correia, David S. Eb...
    claim paper
    Read More »
    CORR
    2010
    Springer
    73views Education» more  CORR 2010»
    Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
    15 years 6 months ago
    Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
    Download  ftp.disi.unige.it
    Davide Ancona, Giovanni Lagorio
    claim paper
    Read More »
    CORR
    2010
    Springer
    46views Education» more  CORR 2010»
    Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
    15 years 6 months ago
    Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
    Download  react.cs.uni-sb.de
    Markus Rabe, Sven Schewe
    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.