Sciweavers

1071 search results - page 60 / 215
» Using Cell-DEVS for Modeling Complex Cell Spaces
Sort
View
BMCBI
2011
14 years 10 months ago
ASPDock: protein-protein docking algorithm using atomic solvation parameters model
Background: Atomic Solvation Parameters (ASP) model has been proven to be a very successful method of calculating the binding free energy of protein complexes. This suggests that ...
Lin Li, Dachuan Guo, Yangyu Huang, Shiyong Liu, Yi...
TVCG
2012
195views Hardware» more  TVCG 2012»
13 years 5 months ago
Restricted Trivariate Polycube Splines for Volumetric Data Modeling
—This paper presents a volumetric modeling framework to construct a novel spline scheme called restricted trivariate polycube splines (RTP-splines). The RTP-spline aims to genera...
Kexiang Wang, Xin Li, Bo Li 0014, Huanhuan Xu, Hon...
PARLE
1994
15 years 7 months ago
Modelling Photochemical Pollution using Parallel and Distributed Computing Platforms
Scientists are increasingly turning to numerical simulation in order to investigate and model complex environmental systems. Numerical simulation has enormous advantages over labor...
David Abramson, M. Cope, R. McKenzie
ICRA
2007
IEEE
205views Robotics» more  ICRA 2007»
15 years 9 months ago
Marker-less Human Motion Estimation using Articulated Deformable Model
— This paper presents a novel whole body motion estimation method by fitting a deformable articulated model of the human body into the 3D reconstructed volume obtained from mult...
Koichi Ogawara, Xiaolu Li, Katsushi Ikeuchi
ICRE
1998
IEEE
15 years 7 months ago
Validating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...