Sciweavers

2203 search results - page 235 / 441
» Temporal Abstract Interpretation
Sort
View
ISCAS
2005
IEEE
155views Hardware» more  ISCAS 2005»
15 years 9 months ago
A low complexity motion compensated frame interpolation method
Abstract—In low bit-rate video communication, temporal subsampling is usually used due to limited available bandwidth. Motion compensated frame interpolation (MCFI) techniques ar...
Jiefu Zhai, Keman Yu, Jiang Li, Shipeng Li
ATAL
2005
Springer
15 years 9 months ago
Design by Contract Deontic Design Language for Multiagent Systems
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
Christophe Garion, Leendert van der Torre
144
Voted
ICAPR
2005
Springer
15 years 9 months ago
Hierarchical Clustering of Dynamical Systems Based on Eigenvalue Constraints
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
Hiroaki Kawashima, Takashi Matsuyama
PCI
2005
Springer
15 years 9 months ago
Towards In-Situ Data Storage in Sensor Databases
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...
Demetrios Zeinalipour-Yazti, Vana Kalogeraki, Dimi...
ECCV
2004
Springer
15 years 9 months ago
A New Robust Technique for Stabilizing Brightness Fluctuations in Image Sequences
Abstract. Temporal random variation of luminance in images can manifest in film and video due to a wide variety of sources. Typical in archived films, it also affects scenes rec...
François Pitié, Rozenn Dahyot, Franc...