1150 search results - page 93 / 230 » Tackling Large State Spaces in Performance Modelling |
141
click to vote
Publication
Tracking heart motion plays an essential role in the diagnosis of cardiovascular diseases. As such, accurate characterization of dynamic behavior of the left ventricle (LV) is esse...
182
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
164
click to vote
UAI
2007
15 years 5 months ago
2007
This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertain...
152
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
161
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The idea of learning overcomplete dictionaries based on the paradigm of compressive sensing has found numerous applications, among which image denoising is considered one of the m...