3972 search results - page 30 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
127
click to vote
ICML
2008
IEEE
16 years 6 months ago
2008
IEEE
We show that linear value-function approximation is equivalent to a form of linear model approximation. We then derive a relationship between the model-approximation error and the...
155
click to vote
IPPS
2008
IEEE
16 years 9 days ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
165
click to vote
ICPP
1999
IEEE
15 years 10 months ago
1999
IEEE
The implementation of bounded-delay services over integrated services networks relies admission control mechanisms that in turn use end-to-end delay computation algorithms. For gu...
151
click to vote
ICML
2005
IEEE
16 years 6 months ago
2005
IEEE
Several algorithms for learning near-optimal policies in Markov Decision Processes have been analyzed and proven efficient. Empirical results have suggested that Model-based Inter...
176
click to vote
JSS
2008
15 years 4 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...