4340 search results - page 456 / 868 » Formal Methods and Cryptography |
181
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
183
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Accurate quantification of total body and the distribution of regional adipose tissue using manual segmentation is a challenging problem due to the high variation between manual de...
190
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
155
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
284
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...