3555 search results - page 580 / 711 » Security-Critical System Development with Extended Use Cases |
138
click to vote
FIMH
2009
Springer
14 years 11 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...
168
click to vote
HT
2011
ACM
14 years 5 months ago
2011
ACM
One of the key motivating factors for information providers to use personalisation is to maximise the benefit to the user in accessing their content. However, traditionally such s...
164
Voted
TEI
2012
ACM
13 years 9 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
125
click to vote
PODC
2012
ACM
13 years 4 months ago
2012
ACM
This paper proves a necessary and sufficient condition for the existence of iterative algorithms that achieve approximate Byzantine consensus in arbitrary directed graphs, where e...
134
Voted
AISC
1998
Springer
15 years 5 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...