Sciweavers

241 search results - page 17 / 49
» A temporally abstracted Viterbi algorithm
Sort
View
ECCV
2004
Springer
14 years 10 months ago
Spatially Homogeneous Dynamic Textures
Abstract. We address the problem of modeling the spatial and temporal second-order statistics of video sequences that exhibit both spatial and temporal regularity, intended in a st...
Gianfranco Doretto, Eagle Jones, Stefano Soatto
ECSQARU
1997
Springer
14 years 22 days ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
ESANN
2000
13 years 10 months ago
SpikeProp: backpropagation for networks of spiking neurons
Abstract. For a network of spiking neurons with reasonable postsynaptic potentials, we derive a supervised learning rule akin to traditional error-back-propagation, SpikeProp and s...
Sander M. Bohte, Joost N. Kok, Johannes A. La Pout...
PCM
2004
Springer
110views Multimedia» more  PCM 2004»
14 years 1 months ago
ROI and FOI Algorithms for Wavelet-Based Video Compression
Abstract. Many techniques make great contributions to video compression with removal of spatial and temporal redundancy in and between frames. However, compressed video is still ra...
Chaoqiang Liu, Tao Xia, Hui Li
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
14 years 2 months ago
Dynamic Symmetry Reduction
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
E. Allen Emerson, Thomas Wahl