9626 search results - page 51 / 1926 » Invariant Based Programming |
200
click to vote
MICCAI
2010
Springer
15 years 4 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...
113
Voted
TASLP
2010
15 years 4 months ago
2010
188
click to vote
TITS
2011
15 years 1 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...
163
click to vote
BIRTHDAY
2010
Springer
15 years 7 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...