1477 search results - page 146 / 296 » Complexity of (iterated) dominance |
168
click to vote
DSN
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper, we present a parallel implementation for the steady-state analysis of continuous-time Markov chains (CTMCs). This analysis is performed via solution of a linear equ...
189
click to vote
EDCC
2005
Springer
16 years 1 hour ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
147
click to vote
ICANN
2005
Springer
15 years 12 months ago
2005
Springer
Image superresolution involves the processing of an image sequence to generate a still image with higher resolution. Classical approaches, such as bayesian MAP methods, require ite...
159
click to vote
ESTIMEDIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract— This paper presents an exploration framework which performs data assignment and access scheduling exploration for applications given a multilayer memory architecture. O...
168
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...