Sciweavers

    10271 search results - page 367 / 2055
    » Computer Science
    Sort
    View
    FCT
    2009
    Springer
    105views Applied Computing» more  FCT 2009»
    Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL
    15 years 11 months ago
    Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL
    Download  www.doc.ic.ac.uk
    Michael Huth, Nir Piterman, Daniel Wagner
    claim paper
    Read More »
    FCT
    2009
    Springer
    107views Applied Computing» more  FCT 2009»
    Depletable Channels: Dynamics and Behaviour
    15 years 11 months ago
    Depletable Channels: Dynamics and Behaviour
    Download  www.dsi.uniroma1.it
    Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
    claim paper
    Read More »
    FCT
    2009
    Springer
    130views Applied Computing» more  FCT 2009»
    Earliest Query Answering for Deterministic Nested Word Automata
    15 years 11 months ago
    Earliest Query Answering for Deterministic Nested Word Automata
    Download  www.grappa.univ-lille3.fr
    Olivier Gauwin, Joachim Niehren, Sophie Tison
    claim paper
    Read More »
    ICS
    2004
    Tsinghua U.
    82views Distributed And Parallel Com...» more  ICS 2004»
    Parallel algorithms for mining frequent structural motifs in scientific data
    15 years 9 months ago
    Parallel algorithms for mining frequent structural motifs in scientific data
    Download  www.cse.ohio-state.edu
    Chao Wang, Srinivasan Parthasarathy
    claim paper
    Read More »
    ICS
    2003
    Tsinghua U.
    104views Distributed And Parallel Com...» more  ICS 2003»
    A high performance multi-perspective vision studio
    15 years 9 months ago
    A high performance multi-perspective vision studio
    Download  cvl.umiacs.umd.edu
    Eugene Borovikov, Alan Sussman
    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.