Bayesspsurv: An R Package To Estimate Bayesian (Spatial) Split-Population Survival Models | 0 | 0.34 | 2021 |
Hyper Video Browser: Search and Hyperlinking in Broadcast Media | 4 | 0.46 | 2015 |
Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs. | 1 | 0.36 | 2011 |
MAFSE: A Model-Based Framework for Software Verification | 3 | 0.44 | 2010 |