691 search results - page 84 / 139 » Equational Abstractions |
CP
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Finding feasible points for which the proof succeeds is a critical issue in safe Branch and Bound algorithms which handle continuous problems. In this paper, we introduce...
ESOP
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
BILDMED
2008
13 years 11 months ago
2008
Abstract. A key technique for protein analysis is the geometric alignment of 2D gel electrophoresis (2-DE) images. We introduce a new hybrid elastic registration approach for 2-DE ...
BILDMED
2008
13 years 11 months ago
2008
Abstract. Improved visualization of blood vessels by ultrasound contrast agents requires insonation that is adapted to the dynamics of the contrast agent bubbles. To evaluate the i...