832 search results - page 30 / 167 » Robust Spelling Correction |
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper addresses the problem of low-latency robust video delivery over packet networks characterized by a bursty loss process. We propose a joint source-channel coding based v...
FMCAD
2009
Springer
14 years 2 months ago
2009
Springer
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Trellis codes based on linear congruential recursions have recently been introduced as powerful source codes. For a modest computational complexity they offer excellent rate di...
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
Aiming at reaching an interactive and simplified usage of high-resolution 3D acquisition systems, this paper presents a fast and automated technique for pre-alignment of dense ra...