8655 search results - page 1468 / 1731 » Challenges for Trusted Computing |
106
click to vote
FM
2009
Springer
15 years 5 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
ACMACE
2009
ACM
15 years 5 months ago
2009
ACM
Fantasy games, in which players compete to correctly predict realworld outcomes in sports, entertainment, and politics, have grown in popularity and now represent a significant po...
CLUSTER
2008
IEEE
15 years 5 months ago
2008
IEEE
—A key benefit of utility data centers and cloud computing infrastructures is the level of consolidation they can offer to arbitrary guest applications, and the substantial savi...
96
Voted
CVPR
2008
IEEE
15 years 5 months ago
2008
IEEE
We propose a 2D registration method for multi-modal image sequences of the retinal fundus, and a 3D metric reconstruction of near planar surface from multiple views. There are two...
ECCB
2008
IEEE
15 years 5 months ago
2008
IEEE
Motivation: Extracting functional information from protein–protein interactions (PPI) poses significant challenges arising from the noisy, incomplete, generic and static nature...