Sciweavers

2036 search results - page 50 / 408
» From Sampling to Model Counting
Sort
View
EVOW
2005
Springer
15 years 6 months ago
Granular Sampling Using a Pulse-Coupled Network of Spiking Neurons
Abstract. We present a new technique for granular sampling using a pulsecoupled network of spiking artificial neurons to generate grain events. The system plays randomly selected s...
Eduardo Reck Miranda, John Matthias
FORMATS
2006
Springer
15 years 5 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
IVC
2008
141views more  IVC 2008»
15 years 24 days ago
Segmentation of color images via reversible jump MCMC sampling
Reversible jump Markov chain Monte Carlo (RJMCMC) is a recent method which makes it possible to construct reversible Markov chain samplers that jump between parameter subspaces of...
Zoltan Kato
ISVC
2009
Springer
15 years 7 months ago
Multi-target and Multi-camera Object Detection with Monte-Carlo Sampling
In this paper, we propose a general-purpose methodology for detecting multiple objects with known visual models from multiple views. The proposed method is based Monte-Carlo sampli...
Giorgio Panin, Sebastian Klose, Alois Knoll
INFOCOM
2010
IEEE
14 years 11 months ago
Sample Path Bounds for Long Memory FBM Traffic
Fractional Brownian motion (fBm) emerged as a useful model for self-similar and long-range dependent Internet traffic. Asymptotic, respectively, approximate performance measures ar...
Amr Rizk, Markus Fidler