1648 search results - page 32 / 330 » A Modelling Framework for Functional Imagination |
103
click to vote
IPMI
2005
Springer
15 years 5 months ago
2005
Springer
Brain MR image segmentation is an important research topic in medical image analysis area. In this paper, we propose an active contour model for brain MR image segmentation, based ...
NN
2002
Springer
14 years 11 months ago
2002
Springer
When learning a mixture model, we suffer from the local optima and model structure determination problems. In this paper, we present a method for simultaneously solving these prob...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
For the first time, a proof of the sifting process (SP) and so the empirical mode decomposition (EMD), is given. For doing this, lower and upper envelopes are modeled in a more c...
105
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
100
click to vote
ENTCS
2006
14 years 11 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...