Sciweavers

99 search results - page 15 / 20
» Model-Based Visualization of Temporal Abstractions
Sort
View
ISCAS
2005
IEEE
155views Hardware» more  ISCAS 2005»
14 years 1 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
IWANN
1997
Springer
13 years 11 months ago
Gray-Level Object Segmentation with a Network of FitzHugh-Nagumo Oscillators
Abstract. In this paper we adopt a temporal coding approach to neuronal modeling of the visual cortex, using oscillations. We propose a hierarchy of three processing modules corres...
Abderrahim Labbi, Ruggero Milanese, Holger Bosch
CAV
2007
Springer
110views Hardware» more  CAV 2007»
14 years 1 months ago
Hector: Software Model Checking with Cooperating Analysis Plugins
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
Nathaniel Charlton, Michael Huth
HYBRID
2007
Springer
14 years 1 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
COST
2008
Springer
287views Multimedia» more  COST 2008»
13 years 9 months ago
Facial Expressions Recognition from Image Sequences
Abstract. Human machine interaction is one of the emerging fields for the coming years. Interacting with others in our daily life is a face to face interaction. Faces are the natur...
Zahid Riaz, Christoph Mayer, Michael Beetz, Bernd ...