5775 search results - page 814 / 1155 » A Rationale-based Analysis Tool |
242
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
178
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper investigates the potential information provided to the user by the uncertainty measures applied to the possibility distributions associated with the spatial units of an ...
230
click to vote
FIMH
2009
Springer
15 years 4 months ago
2009
Springer
Cardiac magnetic resonance (MR) imaging has advanced to become a powerful diagnostic tool in clinical practice. Automatic detection of anatomic landmarks from MR images is importan...
239
click to vote
CGF
2010
15 years 4 months ago
2010
Procedural noise functions are widely used in Computer Graphics, from off-line rendering in movie production to interactive video games. The ability to add complex and intricate d...
232
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...