752 search results - page 115 / 151 » A Markov Chain Model Checker |
165
click to vote
ICSNC
2007
IEEE
15 years 8 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...
114
click to vote
TASLP
2008
15 years 1 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...
125
click to vote
WOWMOM
2005
ACM
15 years 7 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...
102
click to vote
IDEAL
2004
Springer
15 years 7 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...
106
click to vote
SPAA
1990
ACM
15 years 6 months 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 ...