200 search results - page 2 / 40 » Negative Cycle Detection Problem |
PARCO
2003
14 years 6 days ago
2003
IPL
2010
13 years 9 months ago
2010
The Floyd-Warshall algorithm is a simple and widely used algorithm to compute shortest paths between all pairs of vertices in an edge weighted directed graph. It can also be used ...
LPAR
2005
Springer
14 years 4 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
NETWORKS
2010
13 years 9 months ago
2010
This paper considers a minimum cost flow problem where arc costs are uncertain, and the decision maker wishes to minimize both the expected flow cost and the variance of this co...
ICARIS
2005
Springer
14 years 4 months ago
2005
Springer
The (randomized) real-valued negative selection algorithm is an anomaly detection approach, inspired by the negative selection immune system principle. The algorithm was proposed t...