2327 search results - page 159 / 466 » Consistency of functional learning methods based on derivati... |
189
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
193
click to vote
SCALESPACE
2009
Springer
16 years 29 days ago
2009
Springer
The proposed method is related to parametric and geodesic active contours as well as minimal paths, in the context of image segmentation 1 . Our geodesically linked active contour ...
189
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Gas distribution modelling constitutes an ideal application area for mobile robots, which – as intelligent mobile gas sensors – offer several advantages compared to station...
173
click to vote
SIAMSC
2008
15 years 6 months ago
2008
The convergence of Multigrid methods can be analyzed based on a Fourier analysis of the method or by proving certain inequalities that have to be fulfilled by the smoother and by t...
186
click to vote
INFOCOM
1998
IEEE
15 years 10 months ago
1998
IEEE
We study the performance of TCP in an internetwork consisting of both rate-controlled and non-rate-controlled segments. A commonexample of such an environment occurs when the end ...