10891 search results - page 451 / 2179 » Combining Model Reductions |
163
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
169
click to vote
EMSOFT
2005
Springer
16 years 11 days ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
210
click to vote
CAIP
2003
Springer
16 years 1 days ago
2003
Springer
In this article we discuss the 2D-3D pose estimation problem of deformable 3D free-form contours. In our scenario we observe objects of any 3D shape in an image of a calibrated cam...
191
click to vote
BILDMED
2008
15 years 8 months ago
2008
In this paper a framework for the segmentation of cardiac MR image sequences using spatio-temporal appearance models is presented. The method splits the 4D space into 2 separate su...
216
click to vote
ACL
2012
13 years 9 months ago
2012
Statistical machine translation is often faced with the problem of combining training data from many diverse sources into a single translation model which then has to translate se...