Sciweavers

6315 search results - page 329 / 1263
» Approximating Solution Structure
Sort
View
TSMC
2008
113views more  TSMC 2008»
15 years 6 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
JSCIC
2007
132views more  JSCIC 2007»
15 years 6 months ago
Minimal Stabilization for Discontinuous Galerkin Finite Element Methods for Hyperbolic Problems
We consider a discontinuous Galerkin finite element method for the advection–reaction equation in two space–dimensions. For polynomial approximation spaces of degree greater t...
E. Burman, B. Stamm
SIAMJO
2008
81views more  SIAMJO 2008»
15 years 5 months ago
A First-Order Convergence Analysis of Trust-Region Methods with Inexact Jacobians
A class of trust-region algorithms is developed and analyzed for the solution of minimization problems with nonlinear inequality constraints. Based on composite-step trust region ...
Andrea Walther
GI
2009
Springer
15 years 4 months ago
Gaussian Mixture (GM) Passive Localization using Time Difference of Arrival (TDOA)
: This paper describes the passive emitter localization using Time Difference of Arrival (TDOA) measurements. It investigates various methods for estimating the solution of this no...
Regina Kaune
160
Voted
TWC
2010
15 years 1 months ago
A fixed-lag particle smoother for blind SISO equalization of time-varying channels
We introduce a new sequential importance sampling (SIS) algorithm which propagates in time a Monte Carlo approximation of the posterior fixed-lag smoothing distribution of the symb...
Alberto Gaspar Guimarães, Boujemaa Ait-El-F...