1772 search results - page 127 / 355 » The Model Coupling Toolkit |
ECAL
2005
Springer
15 years 5 months ago
2005
Springer
Plant morphogenesis is the development of plant form and structure by coordinated cell division and growth. We present a dynamic computational model of plant morphogenesis at cellu...
ICIP
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we propose an energy functional to segment objects whose global shape is a priori known thanks to a statistical model. Our work aims at extending the variational ap...
ICIP
2009
IEEE
16 years 18 days ago
2009
IEEE
Lidar waveforms are 1D signal consisting of a train of echoes where each of them correspond to a scattering target of the Earth surface. Modeling these echoes with the appropriate...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Incorporating background knowledge into data mining algorithms is an important but challenging problem. Current approaches in semi-supervised learning require explicit knowledge p...
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...