Sciweavers

1430 search results - page 74 / 286
» Representing Probability Measures using Probabilistic Proces...
Sort
View
SIGMETRICS
2012
ACM
257views Hardware» more  SIGMETRICS 2012»
11 years 11 months ago
Fair sampling across network flow measurements
Sampling is crucial for controlling resource consumption by internet traffic flow measurements. Routers use Packet Sampled NetFlow [9], and completed flow records are sampled in...
Nick G. Duffield
CAV
2001
Springer
154views Hardware» more  CAV 2001»
14 years 21 days ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
CVPR
2005
IEEE
14 years 11 months ago
Bayesian Image Segmentation Using Wavelet-Based Priors
This paper introduces a formulation which allows using wavelet-based priors for image segmentation. This formulation can be used in supervised, unsupervised, or semisupervised mod...
Mário A. T. Figueiredo
ALDT
2011
Springer
200views Algorithms» more  ALDT 2011»
12 years 9 months ago
Vote Elicitation with Probabilistic Preference Models: Empirical Estimation and Cost Tradeoffs
A variety of preference aggregation schemes and voting rules have been developed in social choice to support group decision making. However, the requirement that participants provi...
Tyler Lu, Craig Boutilier
ICIP
2002
IEEE
14 years 10 months ago
Parametric contour tracking using unscented Kalman filter
This paper presents an efficient method to integrate various spatial-temporal constraints to regularize the contour tracking. The global shape of the contour is represented in a p...
Yunqiang Chen, Thomas S. Huang, Yong Rui