9626 search results - page 51 / 1926 » Invariant Based Programming |
164
click to vote
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
Segmentation is a fundamental problem in medical image analysis. The use of prior knowledge is often considered to address the ill-posedness of the process. Such a process consists...
TASLP
2010
15 years 2 months ago
2010
154
click to vote
TITS
2011
14 years 11 months ago
2011
—By using an onboard camera, it is possible to detect the free road surface ahead of the ego-vehicle. Road detection is of high relevance for autonomous driving, road departure w...
131
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...