Sciweavers

3047 search results - page 297 / 610
» Aggregation functions: Means
Sort
View
ISBI
2002
IEEE
16 years 5 months ago
Quantitative 3D CT bronchography
In the framework of computer-aided diagnosis, this paper proposes a novel functionality for computerized tomography (CT)based investigation of pulmonary airways. It provides a spe...
Catalin I. Fetita, Françoise J. Prête...
ISBI
2004
IEEE
16 years 5 months ago
Covariance of Kinetic Parameter Estimators Based on Time Activity Curve Reconstructions: Preliminary Study on 1D Dynamic Imaging
We provide approximate expressions for the covariance matrix of kinetic parameter estimators based on time activity curve (TAC) reconstructions when TACs are modeled as a linear c...
Sangtae Ahn, Jeffrey A. Fessler, Thomas E. Nichols...
244
Voted
CP
2009
Springer
16 years 5 months ago
The Complexity of Valued Constraint Models
The Valued Constraint Satisfaction Problem (VCSP) is a general framework encompassing many optimisation problems. We discuss precisely what it means for a problem to be modelled in...
Peter G. Jeavons, Stanislav Zivný
HICSS
2009
IEEE
168views Biometrics» more  HICSS 2009»
15 years 11 months ago
Enabling Distributed Model Management Using Semantic Web Technologies
In today’s increasingly dynamic and competitive business environment, organizations strive to leverage their information resources to gain and sustain competitive advantage. Deci...
Amit V. Deokar, Omar F. El-Gayar
FSEN
2009
Springer
15 years 11 months ago
Program Logics for Sequential Higher-Order Control
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
Martin Berger