Sciweavers

2 search results - page 1 / 1
» jalc 2002
Sort
View
JALC
2002
77views more  JALC 2002»
13 years 5 months ago
Local Logics for Traces
A
Igor Walukiewicz
JALC
2002
97views more  JALC 2002»
13 years 5 months ago
Semiring Frameworks and Algorithms for Shortest-Distance Problems
We define general algebraic frameworks for shortest-distance problems based on the structure of semirings. We give a generic algorithm for finding single-source shortest distances...
Mehryar Mohri