241 search results - page 28 / 49 » A temporally abstracted Viterbi algorithm |
144
click to vote
TACAS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
284
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
231
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
162
click to vote
SAC
2009
ACM
16 years 29 days ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
188
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract—In low bit-rate video communication, temporal subsampling is usually used due to limited available bandwidth. Motion compensated frame interpolation (MCFI) techniques ar...