Sciweavers

    1679 search results - page 216 / 336
    » Strong order equivalence
    Sort
    View
    FORTE
    2008
    149views Formal Methods» more  FORTE 2008»
    Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
    13 years 10 months ago
    Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
    Download  maude.sip.ucm.es
    Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...
    David de Frutos-Escrig, Miguel Palomino, Ignacio F...
    claim paper
    Read More »
    NIPS
    2008
    161views Information Technology» more  NIPS 2008»
    Stochastic Relational Models for Large-scale Dyadic Data using MCMC
    13 years 10 months ago
    Stochastic Relational Models for Large-scale Dyadic Data using MCMC
    Download  www.dbs.informatik.uni-muenchen.de
    Stochastic relational models (SRMs) [15] provide a rich family of choices for learning and predicting dyadic data between two sets of entities. The models generalize matrix factor...
    Shenghuo Zhu, Kai Yu, Yihong Gong
    claim paper
    Read More »
    SPRINGSIM
    2008
    111views Modeling And Simulation» more  SPRINGSIM 2008»
    Data parallel execution challenges and runtime performance of agent simulations on GPUs
    13 years 10 months ago
    Data parallel execution challenges and runtime performance of agent simulations on GPUs
    Download  www.ornl.gov
    Programmable graphics processing units (GPUs) have emerged as excellent computational platforms for certain general-purpose applications. The data parallel execution capabilities ...
    Kalyan S. Perumalla, Brandon G. Aaby
    claim paper
    Read More »
    PLANX
    2007
    132views Programming Languages» more  PLANX 2007»
    XPath Typing Using a Modal Logic with Converse for Finite Trees
    13 years 10 months ago
    XPath Typing Using a Modal Logic with Converse for Finite Trees
    Download  wam.inrialpes.fr
    We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
    Pierre Genevès, Nabil Layaïda, Alan Sc...
    claim paper
    Read More »
    SDM
    2007
    SIAM
    126views Data Mining» more  SDM 2007»
    Scalable Name Disambiguation using Multi-level Graph Partition
    13 years 10 months ago
    Scalable Name Disambiguation using Multi-level Graph Partition
    Download  pike.psu.edu
    When non-unique values are used as the identifier of entities, due to their homonym, confusion can occur. In particular, when (part of) “names” of entities are used as their ...
    Byung-Won On, Dongwon Lee
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.