2661 search results - page 425 / 533 » Model Checking Performability Properties |
ICS
2004
Tsinghua U.
14 years 3 months ago
2004
Tsinghua U.
Cache hierarchies have been traditionally designed for usage by a single application, thread or core. As multi-threaded (MT) and multi-core (CMP) platform architectures emerge and...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
Dimensionality reduction, spectral classification and segmentation are the three main problems in hyperspectral image analysis. In this paper we propose a Bayesian estimation appr...
RECOMB
2007
Springer
14 years 10 months ago
2007
Springer
With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To ...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...
SCALESPACE
2009
Springer
14 years 4 months ago
2009
Springer
In this work, we propose novel results for the optimization of divergences within the framework of region-based active contours. We focus on parametric statistical models where th...