SVMRanker

User Tools

Site Tools

Trace:
svmranker:main

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Last revisionBoth sides next revision
svmranker:main [2020/11/18 19:27] – [SVMRanker] ::1svmranker:main [2020/11/20 14:03] – merlin
Line 1: Line 1:
- **[[svmranker:main| Main ]]** ||  **[[svmranker:tool| Tool ]]** ||  **[[svmranker:usage| Usage & Case Study ]] **  +{{:svmranker:main.png?nolink|}}**[[svmranker:main| Main ]]{{:svmranker:tool.png?nolink|}}[[svmranker:tool| Tool ]]{{:svmranker:usage.png?nolink|}}[[svmranker:usage| Usage & Case Study ]] **  
 ====== SVMRanker======  ====== SVMRanker====== 
 SVMRanker, an open source tool implementing a general framework for proving termination of programs, SVMRanker, an open source tool implementing a general framework for proving termination of programs,
Line 5: Line 5:
 both linear and polynomial updates, using SVM techniques to both linear and polynomial updates, using SVM techniques to
 synthesize ranking functions. SVMRanker is built on top of the prototype used in [3] and it adds synthesize ranking functions. SVMRanker is built on top of the prototype used in [3] and it adds
-support for learning **multiphase ranking functions**. //+support for learning **multiphase ranking functions**. \\
 SVMRanker is now publicly available on GitHub at [[https://github.com/ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker|this repository]]. SVMRanker is now publicly available on GitHub at [[https://github.com/ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker|this repository]].
- 
 ---- ----
 ===== Background ===== ===== Background =====