4007 search results - page 227 / 802 » Computation with imprecise probabilities |
180
click to vote
QEST
2009
IEEE
16 years 1 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....
188
click to vote
IROS
2009
IEEE
16 years 1 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...
149
click to vote
SIPEW
2009
Springer
16 years 1 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...
197
click to vote
VTC
2008
IEEE
16 years 1 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....
179
click to vote
GLOBECOM
2007
IEEE
16 years 1 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...