Sciweavers

1237 search results - page 95 / 248
» Simulation sampling with live-points
Sort
View
ENTCS
2006
154views more  ENTCS 2006»
13 years 9 months ago
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
Gul A. Agha, José Meseguer, Koushik Sen
RECOMB
2001
Springer
14 years 9 months ago
Fast recovery of evolutionary trees with thousands of nodes
We present a novel distance-based algorithm for evolutionary tree reconstruction. Our algorithm reconstructs the topology of a tree with n leaves in O(n2 ) time using O(n) working...
Miklós Csürös
PERCOM
2006
ACM
14 years 8 months ago
CAPS: Energy-Efficient Processing of Continuous Aggregate Queries in Sensor Networks
In this paper, we design and evaluate an energy efficient data retrieval architecture for continuous aggregate queries in wireless sensor networks. We show how the modification of...
Wen Hu, Archan Misra, Rajeev Shorey
ICASSP
2009
IEEE
14 years 4 months ago
Bayesian sparse image reconstruction for MRFM
In this paper, we propose a Bayesian model and a Monte Carlo Markov chain (MCMC) algorithm for reconstructing images that consist of only few non-zero pixels. An appropriate distr...
Nicolas Dobigeon, Alfred O. Hero, Jean-Yves Tourne...
ICASSP
2009
IEEE
14 years 4 months ago
Oscillator Phase Noise compensation using Kalman tracking
Phase Noise (PN) is a serious challenge in wireless transmission systems as it can cause significant degradation of the system performance. Recent publications propose iterative ...
Steffen Bittner, Andreas Frotzscher, Gerhard Fettw...