4007 search results - page 227 / 802 » Computation with imprecise probabilities |
132
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
126
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we present a new algorithm for the alignment of two 3D scans. The approach uses a region-based matching technique. We make no assumptions about the initial posit...
115
click to vote
SIPEW
2009
Springer
15 years 10 months ago
2009
Springer
The M/G/1 queue is a classical model used to represent a large number of real-life computer and networking applications. In this note, we show that, for coefficients of variation o...
150
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
The estimation and tracking of the fractional carrier frequency offset (CFO) is a crucial issue in the implementation of orthogonal frequency division multiplexing (OFDM) systems....
132
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— We analyze the performance of a wireless system that allows opportunistic spectrum sharing. The system consists of a set of primary users sharing a set of channels over a cover...