Stem frog$ (all stems)
3 papers:
- VLDB-2015-MitliagkasBDC #approximate #exclamation #graph #performance #rank
- FrogWild! — Fast PageRank Approximations on Graph Engines (IM, MB, AGD, CC), pp. 874–885.
- CASE-2010-HassanzadehMB #algorithm #mobile #optimisation
- Mobile robot path planning based on shuffled frog leaping optimization algorithm (IH, KM, MAB), pp. 680–685.
- SEFM-2007-FraserB #configuration management #proving #tool support
- Configurable Proof Obligations in the Frog Toolkit (SF, RB), pp. 361–370.