Sciweavers

5600 search results - page 193 / 1120
» Synthesizing robust systems
Sort
View
AAAI
1998
13 years 10 months ago
Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
Christopher Bailey-Kellogg, Feng Zhao
TVLSI
2002
130views more  TVLSI 2002»
13 years 9 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
ICASSP
2009
IEEE
14 years 4 months ago
On robustness of coupled adaptive filters
We provide a time domain analysis of the robustness and stability performance for coupled adaptive algorithms of gradient type. The considered coupling may occur inherently as wel...
Robert Dallinger, Marjus Rupp
ICMCS
2006
IEEE
104views Multimedia» more  ICMCS 2006»
14 years 3 months ago
Robust Rigid Head Motion Estimation Based on Differential Evolution
In this paper we present a system to robustly estimate the 3D position of a human head. Before the face model is positioned in the initial frame, it is adapted to the 3D scan of t...
Axel Weissenfeld, Onay Urfalioglu, Kang Liu, J&oum...
PODC
2005
ACM
14 years 2 months ago
Building scalable and robust peer-to-peer overlay networks for broadcasting using network coding
We propose a scheme for building peer-to-peer overlay networks for broadcasting using network coding. The scheme addresses many practical issues such as scalability, robustness, c...
Kamal Jain, László Lovász, Ph...