Sciweavers

75 search results - page 8 / 15
» A Type System for a Stochastic CLS
Sort
View
NIPS
2007
13 years 9 months ago
Variational Inference for Diffusion Processes
Diffusion processes are a family of continuous-time continuous-state stochastic processes that are in general only partially observed. The joint estimation of the forcing paramete...
Cédric Archambeau, Manfred Opper, Yuan Shen...
AMC
2006
100views more  AMC 2006»
13 years 7 months ago
Reliability evaluation of multi-component cold-standby redundant systems
A new methodology for the reliability evaluation of an l-dissimilar-unit non-repairable cold-standby redundant system is introduced in this paper. Each unit is composed of a numbe...
Amir Azaron, Hideki Katagiri, Kosuke Kato, Masatos...
TCS
2010
13 years 2 months ago
A fluid analysis framework for a Markovian process algebra
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
Richard A. Hayden, Jeremy T. Bradley
ICIP
2005
IEEE
14 years 9 months ago
An efficient Rao-Blackwellized particle filter for object tracking
In this paper we present a technique for the tracking of textured almost planar object. The target is modeled as a noisy planar cloud of points. The tracking is led with an approp...
Étienne Mémin, Elise Arnaud
CRV
2009
IEEE
184views Robotics» more  CRV 2009»
14 years 2 months ago
IceSynth: An Image Synthesis System for Sea-Ice Segmentation Evaluation
An ongoing challenge in automatic sea-ice monitoring using synthetic aperture radar (SAR) is the automatic segmentation of SAR sea-ice images based on the underlying ice type. Giv...
Alexander Wong, Wen Zhang, David A. Clausi