1917 search results - page 72 / 384 » The York Abstract Machine |
ISBRA
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. Protein homology prediction is a crucial step in templatebased protein structure prediction. The functions that rank the proteins in a database according to their homolog...
IPMI
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. We present a machine learning approach called shape regression machine (SRM) to segmenting in real time an anatomic structure that manifests a deformable shape in a medic...
ALT
2000
Springer
14 years 7 months ago
2000
Springer
Abstract. Support Vector Machines Regression (SVMR) is a learning technique where the goodness of fit is measured not by the usual quadratic loss function (the mean square error),...
CLOUDCOM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Virtualization technology has become commonplace in modern data centers and cluster systems, often referred as “computing clouds”. In particular, the capability of vi...
SBMF
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...