284 search results - page 12 / 57 » hybrid 2003 |
HYBRID
2003
Springer
15 years 2 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
HYBRID
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
DSVIS
2003
Springer
15 years 2 months ago
2003
Springer
The DiaMODL dialog modelling is a hybrid language, based on the Pisa interactor abstraction and UML Statecharts. By combining a dataflow-oriented language with one focussing on beh...
VCIP
2003
14 years 11 months ago
2003
Two types of coders dominate the field of video compression research today: well-established hybrid coders, that are in the core of all MPEG and H.26X standards, and emerging thr...
79
Voted
MICCAI
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we propose a hybrid similarity measure for 2D-3D image registration that is a weighted combination of an intensitybased image similarity measure and a point-based me...