Sciweavers

12399 search results - page 386 / 2480
» Deformable structural models
Sort
View
JCC
2008
92views more  JCC 2008»
15 years 6 months ago
Fast procedure for reconstruction of full-atom protein models from reduced representations
: We introduce PULCHRA, a fast and robust method for the reconstruction of full-atom protein models starting from a reduced protein representation. The algorithm is particularly su...
Piotr Rotkiewicz, Jeffrey Skolnick
ENTCS
2007
116views more  ENTCS 2007»
15 years 6 months ago
Co-Algebraic Models for Quantitative Spatial Logics
We introduce a class of coalgebraic models and a family of modal logics that support the specication of spatial properties of distributed applications. The evaluation of a formul...
Vincenzo Ciancia, Gian Luigi Ferrari
149
Voted
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 6 months ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans
JACIII
2006
114views more  JACIII 2006»
15 years 6 months ago
A Theoretical Formulation of Object-Oriented Rough Set Models
ata forms, and abstract structural hierarchy based on is-a relationship and has-a relationship. Object structures illustrate many kinds of objects and actual dependence among objec...
Yasuo Kudo, Tetsuya Murai
MICCAI
2007
Springer
16 years 7 months ago
Automatic Whole Heart Segmentation in Static Magnetic Resonance Image Volumes
We present a fully automatic segmentation algorithm for the whole heart (four chambers, left ventricular myocardium and trunks of the aorta, the pulmonary artery and the pulmonary ...
Jochen Peters, Olivier Ecabert, Carsten Meyer, Hau...