Sciweavers

3678 search results - page 22 / 736
» On the Stable Paths Problem
Sort
View
ASP
2001
Springer
14 years 2 months ago
Computing stable models in parallel
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
Raphael A. Finkel, Victor W. Marek, Neil Moore, Mi...
SIAMSC
2011
115views more  SIAMSC 2011»
13 years 4 months ago
A Fast and Stable Solver for Singular Integral Equations on Piecewise Smooth Curves
A scheme is presented for the numerical solution of singular integral equations on piecewise smooth curves. It relies on several techniques: reduction, Nystr¨om discretization, co...
Johan Helsing
SWAT
1998
Springer
108views Algorithms» more  SWAT 1998»
14 years 2 months ago
Formal Language Constrained Path Problems
Given an alphabet , a (directed) graph G whose edges are weighted and -labeled, and a formal language L , the formal-language-constrained shortest/simple path problem consists of ...
Christopher L. Barrett, Riko Jacob, Madhav V. Mara...
CORR
2008
Springer
71views Education» more  CORR 2008»
13 years 10 months ago
Asteroids in rooted and directed path graphs
An asteroidal triple is a stable set of three vertices such that each pair is connected by a path avoiding the neighborhood of the third vertex. Asteroidal triples play a central ...
Kathie Cameron, Chính T. Hoàng, Benj...
ICDCS
2009
IEEE
14 years 7 months ago
A Note on Distributed Stable Matching
We consider the distributed complexity of the stable marriage problem. In this problem, the communication graph is undirected and bipartite, and each node ranks its neighbors. Giv...
Alex Kipnis, Boaz Patt-Shamir