Sciweavers

7554 search results - page 883 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
DAGM
2009
Springer
16 years 1 months ago
Simultaneous Estimation of Pose and Motion at Highly Dynamic Turn Maneuvers
Abstract. The (Extended) Kalman filter has been established as a standard method for object tracking. While a constraining motion model stabilizes the tracking results given noisy...
Alexander Barth, Jan Siegemund, Uwe Franke, Wolfga...
DDECS
2008
IEEE
97views Hardware» more  DDECS 2008»
16 years 1 months ago
Incremental SAT Instance Generation for SAT-based ATPG
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
Daniel Tille, Rolf Drechsler
FDL
2008
IEEE
16 years 1 months ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...
ICASSP
2008
IEEE
16 years 1 months ago
The probability of near midair collisions using level-crossings
We consider probabilistic methods to compute the near midair collision risk using state estimate and covariance from a target tracking filter based on angle-only sensors such as ...
Per-Johan Nordlund, Fredrik Gustafsson
ICASSP
2008
IEEE
16 years 1 months ago
Video denoising using a spatiotemporal statistical model of wavelet coefficients
We propose a video denoising algorithm based on a spatiotemporal Gaussian scale mixture (ST-GSM) model in the wavelet transform domain. This model simultaneously captures local co...
Gijesh Varghese, Zhou Wang