Sciweavers

314 search results - page 63 / 63
» Validating Specifications for Model-Based Testing
Sort
View
BMVC
2010
13 years 3 months ago
Improved Anatomical Landmark Localization in Medical Images Using Dense Matching of Graphical Models
We propose a method for reliably and accurately identifying anatomical landmarks in 3D CT volumes based on dense matching of parts-based graphical models. Such a system can be use...
Vaclav Potesil, Timor Kadir, Günther Platsch,...
BMCBI
2011
13 years 14 days ago
Motif-guided sparse decomposition of gene expression data for regulatory module identification
Background: Genes work coordinately as gene modules or gene networks. Various computational approaches have been proposed to find gene modules based on gene expression data; for e...
Ting Gong, Jianhua Xuan, Li Chen, Rebecca B. Riggi...
NAR
2010
129views more  NAR 2010»
13 years 7 days ago
PROSESS: a protein structure evaluation suite and server
PROSESS (PROtein Structure Evaluation Suite and Server) is a web server designed to evaluate and validate protein structures generated by X-ray crystallography, NMR spectroscopy o...
Mark V. Berjanskii, Yongjie Liang, Jianjun Zhou, P...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
14 years 1 days ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer