PulseAugur
EN
LIVE 09:21:51
ENTITY design by contract

design by contract

PulseAugur coverage of design by contract — every cluster mentioning design by contract across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_191329 ·

    New sub-quadratic method improves bisimulation metric computation for MDPs

    Researchers have developed a novel sub-quadratic method for calculating bisimulation metrics in Markov decision processes (MDPs). This new approach utilizes approximate nearest neighbor (ANN) indexing to efficiently sel…