Sciweavers

    900 search results - page 3 / 180
    » Metric Structures and Probabilistic Computation
    Sort
    View
    DBSEC
    2008
    152views Database» more  DBSEC 2008»
    An Attack Graph-Based Probabilistic Security Metric
    13 years 8 months ago
    An Attack Graph-Based Probabilistic Security Metric
    Download  users.encs.concordia.ca
    To protect critical resources in today’s networked environments, it is desirable to quantify the likelihood of potential multi-step attacks that combine multiple vulnerabilities....
    Lingyu Wang, Tania Islam, Tao Long, Anoop Singhal,...
    claim paper
    Read More »
    EMNLP
    2007
    84views Natural Language Processing» more  EMNLP 2007»
    Recovery of Empty Nodes in Parse Structures
    13 years 8 months ago
    Recovery of Empty Nodes in Parse Structures
    Download  acl.ldc.upenn.edu
    In this paper, we describe a new algorithm for recovering WH-trace empty nodes. Our approach combines a set of hand-written patterns together with a probabilistic model. Because t...
    Denis Filimonov, Mary P. Harper
    claim paper
    Read More »
    ENTCS
    1998
    101views more  ENTCS 1998»
    A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
    13 years 6 months ago
    A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
    Download  qav.comlab.ox.ac.uk
    Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
    Marta Z. Kwiatkowska, Gethin Norman
    claim paper
    Read More »
    IWFM
    2003
    172views Formal Methods» more  IWFM 2003»
    On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
    13 years 8 months ago
    On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
    Download  www.bcs.org
    We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
    Anthony Karel Seda, Máire Lane
    claim paper
    Read More »
    ISMB
    1998
    84views Computational Biology» more  ISMB 1998»
    A Surface Measure for Probabilistic Structural Computations
    13 years 8 months ago
    A Surface Measure for Probabilistic Structural Computations
    Download  www.aaai.org
    Computingthree-dimensional structures from sparse experimentalconstraints requires methodsfor combining heterogeneoussourcesof information,such as distances, angles, andmeasuresof...
    Jeanette P. Schmidt, Cheng Che Chen, Jonathan L. C...
    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.