7167 search results - page 1071 / 1434 » A Technique for Invariant Generation |
237
click to vote
ISCAS
2005
IEEE
16 years 1 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...
199
click to vote
LICS
2005
IEEE
16 years 1 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
211
click to vote
RTAS
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
163
click to vote
TIME
2005
IEEE
16 years 1 months ago
2005
IEEE
We exploit the fact that qualitative Interval Algebra (IA) network problems are finite domain CSPs. In the first part of the paper, we show how to convert a qualitative IA network ...
229
Voted
VISUALIZATION
2005
IEEE
16 years 1 months ago
2005
IEEE
Diffusion tensor imaging is a magnetic resonance imaging method which has gained increasing importance in neuroscience and especially in neurosurgery. It acquires diffusion proper...