21 search results - page 5 / 5 » Model Selection for Sinusoids in Noise: Statistical Analysis... |
POPL
2007
ACM
14 years 5 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...