Sciweavers

    46084 search results - page 8972 / 9217
    » Developments in WIS development
    Sort
    View
    DT
    2006
    98views more  DT 2006»
    Handling variations and uncertainties
    13 years 8 months ago
    Handling variations and uncertainties
    Download  www.pp.bme.hu
    The widely used engineering decisions concerning the performance of technological equipment for process industries are usually deterministic. Since the early 1990s probabilistic m...
    Tim Cheng
    claim paper
    Read More »
    EAAI
    2006
    157views more  EAAI 2006»
    Color reduction and estimation of the number of dominant colors by using a self-growing and self-organized neural gas
    13 years 8 months ago
    Color reduction and estimation of the number of dominant colors by using a self-growing and self-organized neural gas
    Download  ipml.ee.duth.gr
    A new method for color reduction in a digital image is proposed, which is based on the development of a new neural network classifier and on a new method for Estimation of the Mos...
    Antonios Atsalakis, Nikos Papamarkos
    claim paper
    Read More »
    ENTCS
    2006
    112views more  ENTCS 2006»
    A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
    13 years 8 months ago
    A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
    Download  homes.dico.unimi.it
    Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
    Lorenzo Capra, Walter Cazzola
    claim paper
    Read More »
    IJAR
    2008
    83views more  IJAR 2008»
    Decision-theoretic specification of credal networks: A unified language for uncertain modeling with sets of Bayesian networks
    13 years 8 months ago
    Decision-theoretic specification of credal networks: A unified language for uncertain modeling with sets of Bayesian networks
    Download  www.idsia.ch
    Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be power...
    Alessandro Antonucci, Marco Zaffalon
    claim paper
    Read More »
    ENTCS
    2006
    97views more  ENTCS 2006»
    VyrdMC: Driving Runtime Refinement Checking with Model Checkers
    13 years 8 months ago
    VyrdMC: Driving Runtime Refinement Checking with Model Checkers
    Download  network.ku.edu.tr
    This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
    Tayfun Elmas, Serdar Tasiran
    claim paper
    Read More »
    « Prev « First page 8972 / 9217 Last » Next »
    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.