13917 search results - page 2536 / 2784 » Abstraction of Probabilistic Systems |
188
click to vote
MATES
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Demand responsive transportation has the potential to provide efficient public door-to-door transport with a high quality. In currently implemented systems in the Netherl...
178
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents a robust framework for freehand ultrasound elastography to cope with uncertainties of freehand palpation using the information from an external tracke...
182
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Vitreoretinal surgeons use 0.5mm diameter instruments to manipulate delicate tissue inside the eye while applying imperceptible forces that can cause damage to the retina...
246
click to vote
MIDDLEWARE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Data aggregation is a key aspect of many distributed applications, such as distributed sensing, performance monitoring, and distributed diagnostics. In such settings, use...
159
click to vote
MP
2010
15 years 5 months ago
2010
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...