Sciweavers

1756 search results - page 243 / 352
» Directed scale-free graphs
Sort
View
112
Voted
MCU
2004
129views Hardware» more  MCU 2004»
15 years 2 months ago
Solving 3CNF-SAT and HPP in Linear Time Using WWW
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...
103
Voted
SODA
2004
ACM
120views Algorithms» more  SODA 2004»
15 years 2 months ago
Optimal routing in Chord
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
106
Voted
FLAIRS
2000
15 years 2 months ago
Independence Semantics for BKBs
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...
COLING
1996
15 years 2 months ago
Distributedness and Non-Linearity of LOLITA's Semantic Network
'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
PSTV
1993
123views Hardware» more  PSTV 1993»
15 years 2 months ago
On the Verification of Temporal Properties
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