2661 search results - page 448 / 533 » Model Checking Performability Properties |
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
In this paper we study the computation error tolerance properties of motion estimation algorithms. We are motivated by two scenarios where hardware systems may introduce computati...
MICCAI
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. We propose a method for atrophy simulation in structural MR images based on finite-element methods, providing data for objective evaluation of atrophy measurement techniq...
ISBI
2008
IEEE
14 years 10 months ago
2008
IEEE
Visualization and analysis of the micro-architecture of brain parenchyma by means of magnetic resonance imaging is nowadays believed to be one of the most powerful tools used for ...
ICALP
2009
Springer
14 years 10 months ago
2009
Springer
Social networks are an interesting class of graphs likely to become of increasing importance in the future, not only theoretically, but also for its probable applications to ad hoc...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...