Sciweavers

4276 search results - page 470 / 856
» Computability of Probability Distributions and Distribution ...
Sort
View
IANDC
2010
116views more  IANDC 2010»
15 years 5 months ago
Weak bisimulation is sound and complete for pCTL*
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
Josée Desharnais, Vineet Gupta, Radha Jagad...
ICC
2011
IEEE
219views Communications» more  ICC 2011»
14 years 6 months ago
Deterministic Equivalents for the Performance Analysis of Isometric Random Precoded Systems
—We consider a general wireless channel model for different types of code-division multiple access (CDMA) and space-division multiple-access (SDMA) systems with isometric random ...
Jakob Hoydis, Romain Couillet, Mérouane Deb...
COLT
1997
Springer
15 years 11 months ago
Estimation of Time-Varying Parameters in Statistical Models: An Optimization Approach
Abstract. We propose a convex optimization approach to solving the nonparametric regression estimation problem when the underlying regression function is Lipschitz continuous. This...
Dimitris Bertsimas, David Gamarnik, John N. Tsitsi...
ICPR
2006
IEEE
16 years 7 months ago
Image-Based Rendering of Synthetic Diffuse Objects in Natural Scenes
We present a method for solving the global illumination problem for synthetic diffuse objects. The approach generates realistic shading for applications where a synthetic object i...
Mais Alnasser, Hassan Foroosh
ASAP
2005
IEEE
118views Hardware» more  ASAP 2005»
16 years 11 days ago
Real-time H/W Implementation of the Approximate Discrete Radon Transform
The Radon transform (RT) is a widely studied algorithm used to perform image pattern extraction in fields such as computer graphics, medical imagery, and avionics. Real-time impl...
Michael T. Frederick, Nathan A. VanderHorn, Arun K...