11182 search results - page 389 / 2237 » Shape Analysis of Sets |
186
Voted
DAC
2006
ACM
16 years 7 months ago
2006
ACM
We propose a scalable and efficient parameterized block-based statistical static timing analysis algorithm incorporating both Gaussian and non-Gaussian parameter distributions, ca...
150
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...
187
click to vote
ICIAP
2001
Springer
15 years 11 months ago
2001
Springer
Scene analysis is an important area of research with the aim of identifying objects and their relationships in natural scenes. MINERVA benchmark has been recently introduced in th...
183
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— For an Estimation Based Multiple Model Switched Adaptive Control (EMMSAC) algorithm controlling a MIMO minimal LTI plant, lp, 1 ≤ p ≤ ∞ bounds on the gain from the input ...
192
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
This paper proposes an algorithm for the characterization of reachable sets of states for continuous-time piecewise affine systems. Given a model of the system and a bounded set o...