241 search results - page 27 / 49 » A temporally abstracted Viterbi algorithm |
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper we extend our previous result on reusing shooting paths when dealing with moving light sources in radiosity to the final gathering step algorithm, which co...
TACAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
IBPRIA
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This paper presents a new framework for the motion segmentation and estimation task on sequences of two grey images without a priori information of the number of moving r...
ISCIS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In this paper, we introduce the composition problem associated with object-based video coding and propose a solution to this problem. Although the object-based rate contr...
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...