752 search results - page 104 / 151 » A Markov Chain Model Checker |
TCOM
2008
13 years 8 months ago
2008
Abstract--Incremental-redundancy hybrid automatic repeatrequest (IR-HARQ) schemes are proposed in several wireless standards for increased throughput-efficiency and greater reliabi...
CVPR
2001
IEEE
14 years 10 months ago
2001
IEEE
Texture replacement in real images has many applications, such as interior design, digital movie making and computer graphics. The goal is to replace some specified texture patter...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
PR
2002
13 years 8 months ago
2002
The satellite image deconvolution problem is ill-posed and must be regularized. Herein, we use an edge-preserving regularization model using a ' function, involving two hyper...
ISSRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...