Sciweavers

    15 search results - page 2 / 3
    » fcsc 2008
    Sort
    View
    FCSC
    2008
    104views more  FCSC 2008»
    On automatic verification of self-stabilizing population protocols
    13 years 5 months ago
    On automatic verification of self-stabilizing population protocols
    Download  satoss.uni.lu
    The population protocol model [2] has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with e...
    Jun Pang, Zhengqin Luo, Yuxin Deng
    claim paper
    Read More »
    FCSC
    2008
    87views more  FCSC 2008»
    On the verification of polynomial system solvers
    13 years 5 months ago
    On the verification of polynomial system solvers
    Download  www.csd.uwo.ca
    Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
    Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xi...
    claim paper
    Read More »
    FCSC
    2007
    108views more  FCSC 2007»
    Offline Chinese handwriting recognition: an assessment of current technology
    13 years 5 months ago
    Offline Chinese handwriting recognition: an assessment of current technology
    Download  www.cedar.buffalo.edu
    Offline Chinese handwriting recognition (OCHR) is a typically difficult pattern recognition problem. Many authors have presented various approaches to recognizing its different asp...
    Sargur N. Srihari, Xuanshen Yang, Gregory R. Ball
    claim paper
    Read More »
    FCSC
    2007
    131views more  FCSC 2007»
    SONNET: subscription using path queries over structured overlay networks
    13 years 5 months ago
    SONNET: subscription using path queries over structured overlay networks
    Download  homepage.fudan.edu.cn
    Application-level content-based routing using XML is a key technology for decentralized publish/subscribe systems. In this paper, a new approach is proposed to support the efficien...
    Weining Qian, Linhao Xu, Aoying Zhou, Minqi Zhou
    claim paper
    Read More »
    FCSC
    2007
    192views more  FCSC 2007»
    An optimal replication strategy for data grid systems
    13 years 5 months ago
    An optimal replication strategy for data grid systems
    Download  grid.tsinghua.edu.cn
    Data access latency is an important metric of system performance in data grid. By means of efficient replication strategy, the amount of data transferred in wide area network will ...
    Jianjin Jiang, Guangwen Yang
    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.