Skip to search formSkip to main contentSkip to account menu

Markov Reward Model Checker

Known as: MRMC, Markov Reward Model Checker (MRMC) 
The Markov Reward Model Checker (MRMC) is a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
CygwinMicrosoft WindowsModel checkingProbabilistic CTL

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
DAFEE: A Decomposed Approach for energy efficient networking in multi-radio multi-channel wireless networks
As wireless networks are gaining increasing popularity, the network energy efficiency has become a critical issue. In this paper… 
2015
2015
Maximum relevancy maximum complementary feature selection for multi-sensor activity recognition
2014
2014
Optimizing router placement for wireless mesh deployment
The performance of multi-channel (MRMC) wireless mesh networks (WMNs) is largely affected by interference, which depends on… 
2014
2014
A Naive-Bayes model observer for detection and localization of perfusion defects in cardiac SPECT-MPI
Model observers (MO) are widely used in medical imaging to act as surrogates of human observers in task-based image quality… 
2013
2013
Large-scale access scheduling in wireless mesh networks using social centrality
2012
2012
A generic framework for throughput-optimal control in MR-MC wireless networks
In this paper, we study the throughput-optimal control in the multi-radio multi-channel (MR-MC) wireless networks, which is… 
2011
2011
G-PaMeLA: A divide-and-conquer approach for joint channel assignment and routing in multi-radio multi-channel wireless mesh networks
2010
2010
Interference-traffic aware Channel Assignment for MRMC WMNs
Wireless Mesh Networks (WMNs) have the potential for improving network capacity by employing multiple radios and multiple… 
2005
2005
Probabilistic foundations of the MRMC method
Current approaches to ROC analysis use the MRMC (multiple-reader, multiple-case) paradigm in which several readers read each case… 
1997
1997
An enhancement to MRMC scheme in video compression
Zhang and Zafar (see ibid., vol.2, no.3, p.285-96, 1992) proposed a video compression scheme based on the wavelet representation… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)