Sciweavers

JALC
2002
77views more  JALC 2002»
14 years 3 days ago
Local Logics for Traces
A
Igor Walukiewicz
JALC
2002
97views more  JALC 2002»
14 years 3 days 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