Sciweavers

1323 search results - page 64 / 265
» Moment-Linear Stochastic Systems
Sort
View
AAAI
2004
14 years 11 months ago
Planning and Verification for Stochastic Processes with Asynchronous Events
We consider a general model of stochastic discrete event systems with asynchronous events, and propose to develop efficient algorithms for verification and control of such systems...
Håkan L. S. Younes
HICSS
2006
IEEE
117views Biometrics» more  HICSS 2006»
15 years 3 months ago
Planning for a Big Bang in a Supply Chain: Fast Hedging for Production Indicators
— We concern ourselves with the process of making optimized production planning decisions in the face of low frequency, high impact uncertainty, which takes the form of a small n...
David L. Woodruff, Stefan Voß
ICMCS
2006
IEEE
104views Multimedia» more  ICMCS 2006»
15 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...
FORTE
2004
14 years 11 months ago
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thoma...
ISCAS
2007
IEEE
104views Hardware» more  ISCAS 2007»
15 years 4 months ago
Evaluation of Algorithms for Low Energy Mapping onto NoCs
—Systems on Chip (SoCs) congregate multiple modules and advanced interconnection schemes, such as networks on chip (NoCs). One relevant problem in SoC design is module mapping on...
César A. M. Marcon, Edson I. Moreno, Ney La...