4341 search results - page 429 / 869 » Quantitative Model checking |
222
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. We develop a segmentation technique for dynamic PET incorporating the physiological parameters for different regions via kinetic modeling. We demonstrate the usefulness o...
173
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Privacy, preservation and performance (“3 P’s”) are central design objectives for distributed data management systems. However, these objectives tend to compete with one ano...
168
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we present a novel method to model instance-level constraints within a clustering algorithm. Thereby, both similarity and dissimilarity constraints can be used coeval...
167
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
Performance Trees are a unifying framework for the specification of performance queries involving measures and requirements. This paper describes an evaluation environment for Pe...
146
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...