752 search results - page 115 / 151 » A Markov Chain Model Checker |
ICSNC
2007
IEEE
14 years 3 months ago
2007
IEEE
Nowadays, path prediction is being extensively examined for use in the context of mobile and wireless computing towards more efficient network resource management schemes. Path pr...
TASLP
2008
13 years 8 months ago
2008
Abstract--We describe in this paper an audio denoising technique based on sparse linear regression with structured priors. The noisy signal is decomposed as a linear combination of...
WOWMOM
2005
ACM
14 years 2 months ago
2005
ACM
We present in this paper an analytical model that accounts for the positions of stations with respect to the Access Point (AP) while evaluating the performance of 802.11 MAC layer...
IDEAL
2004
Springer
14 years 2 months ago
2004
Springer
Building genetic regulatory networks from time series data of gene expression patterns is an important topic in bioinformatics. Probabilistic Boolean networks (PBNs) have been deve...
SPAA
1990
ACM
14 years 21 days ago
1990
ACM
Multithreading has been proposed as an architectural strategy for tolerating latency in multiprocessors and, through limited empirical studies, shown to offer promise. This paper ...