2741 search results - page 7 / 549 » Engineering Mathematical Knowledge |
MKM
2005
Springer
14 years 2 months ago
2005
Springer
In this contribution we address two related questions. Firstly, we want to shed light on the question how to use a representation formalism to represent a given problem. Secondly, ...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
We propose a Bayesian approach to incorporate anatomical information in the clustering of fiber trajectories. An expectationmaximization (EM) algorithm is used to cluster the traj...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
AISC
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Building a repository of proof-checked mathematical knowledge is without any doubt a lot of work, and besides the actual formalization process there is also the task of m...