832 search results - page 30 / 167 » Robust Spelling Correction |
166
click to vote
RTSS
2009
IEEE
16 years 26 days 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...
143
click to vote
ICIP
2006
IEEE
16 years 7 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...
125
click to vote
FMCAD
2009
Springer
16 years 22 days 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...
171
click to vote
ICC
2007
IEEE
16 years 14 days 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...
165
click to vote
ICCV
2011
IEEE
14 years 6 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...