Sciweavers

3365 search results - page 352 / 673
» Multidimensional Data Modeling for Complex Data
Sort
View
213
Voted
BMCBI
2007
114views more  BMCBI 2007»
15 years 6 months ago
Mining and state-space modeling and verification of sub-networks from large-scale biomolecular networks
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
Xiaohua Hu, Fang-Xiang Wu
ICFP
2007
ACM
16 years 6 months ago
McErlang: a model checker for a distributed functional programming language
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
Hans Svensson, Lars-Åke Fredlund
TCS
2008
15 years 6 months ago
GemCell: A generic platform for modeling multi-cellular biological systems
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
Hila Amir-Kroll, Avital Sadot, Irun R. Cohen, Davi...
ECCV
2006
Springer
16 years 8 months ago
Resolution-Aware Fitting of Active Appearance Models to Low Resolution Images
Abstract. Active Appearance Models (AAM) are compact representations of the shape and appearance of objects. Fitting AAMs to images is a difficult, non-linear optimization task. Tr...
Göksel Dedeoglu, Simon Baker, Takeo Kanade
CVPR
1998
IEEE
16 years 8 months ago
Incorporating Illumination Constraints in Deformable Models
In this paper we present a method for the integration of nonlinear holonomic constraints in deformable models and its application to the problems of shape and illuminant direction...
Dimitris Samaras, Dimitris N. Metaxas