Sciweavers

    2463 search results - page 369 / 493
    » Rankings of Directed Graphs
    Sort
    View
    MCU
    2004
    129views Hardware» more  MCU 2004»
    Solving 3CNF-SAT and HPP in Linear Time Using WWW
    13 years 10 months ago
    Solving 3CNF-SAT and HPP in Linear Time Using WWW
    Download  www.cse.iitm.ac.in
    We propose linear time solutions to two much celebrated NP-complete problems, namely the 3CNF-SAT and the directed Hamiltonian Path Problem (HPP), based on AHNEPs having all resour...
    Florin Manea, Carlos Martín-Vide, Victor Mi...
    claim paper
    Read More »
    SODA
    2004
    ACM
    120views Algorithms» more  SODA 2004»
    Optimal routing in Chord
    13 years 10 months ago
    Optimal routing in Chord
    Download  infolab.stanford.edu
    We propose optimal routing algorithms for Chord [1], a popular topology for routing in peer-to-peer networks. Chord is an undirected graph on 2b nodes arranged in a circle, with e...
    Prasanna Ganesan, Gurmeet Singh Manku
    claim paper
    Read More »
    FLAIRS
    2000
    142views Artificial Intelligence» more  FLAIRS 2000»
    Independence Semantics for BKBs
    13 years 10 months ago
    Independence Semantics for BKBs
    Download  www.aaai.org
    Bayesian KnowledgeBases (BKB)are a rule-based probabilistic modelthat extend BayesNetworks(BN), by allowing context-sensitive independenceand cycles in the directed graph. BKBshav...
    Solomon Eyal Shimony, Eugene Santos Jr., Tzachi Ro...
    claim paper
    Read More »
    COLING
    1996
    98views Computational Linguistics» more  COLING 1996»
    Distributedness and Non-Linearity of LOLITA's Semantic Network
    13 years 10 months ago
    Distributedness and Non-Linearity of LOLITA's Semantic Network
    Download  acl.ldc.upenn.edu
    'Phis paper describes SemNet the internal Knowledge t{epresentation lbr LOLI'I'A I. LOMTA is a large scale Natural Language Engineering (NLE) system. As such the in...
    S. Short, Simon Shiu, Roberto Garigliano
    claim paper
    Read More »
    PSTV
    1993
    123views Hardware» more  PSTV 1993»
    On the Verification of Temporal Properties
    13 years 10 months ago
    On the Verification of Temporal Properties
    Download  spinroot.com
    We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
    Patrice Godefroid, Gerard J. Holzmann
    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.