Sciweavers

3342 search results - page 64 / 669
» Symbolic Robustness Analysis
Sort
View
CODES
2008
IEEE
16 years 7 days ago
Symbolic voter placement for dependability-aware system synthesis
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
Felix Reimann, Michael Glabeta, Martin Lukasiewycz...
RC
2002
72views more  RC 2002»
15 years 5 months ago
Symbolic Preconditioning with Taylor Models: Some Examples
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
R. Baker Kearfott, G. William Walster
CORR
2007
Springer
67views Education» more  CORR 2007»
15 years 5 months ago
Interroger un corpus par le sens
In textual knowledge management, statistical methods prevail. Nonetheless, some difficulties cannot be overcome by these methodologies. I propose a symbolic approach using a comp...
Bernard Jacquemin
ADAC
2010
105views more  ADAC 2010»
15 years 5 months ago
Inference for robust canonical variate analysis
We consider the problem of optimally separating two multivariate populations. Robust linear discriminant rules can be obtained by replacing the empirical means and covariance in th...
Stefan Van Aelst, Gert Willems
ICASSP
2009
IEEE
16 years 15 days ago
High-rate distributed multi-source cooperation using complex field coding
A multisource cooperative protocol is developed capable of achieving diversity order up to the number of cooperating users at a high throughput. In this design each source jointly...
Alfonso Cano Pleite, Jesús Gómez-Vil...