2741 search results - page 7 / 549 » Engineering Mathematical Knowledge |
98
Voted
MKM
2005
Springer
15 years 5 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, ...
69
Voted
ISBI
2008
IEEE
16 years 11 days 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
15 years 1 months ago
2005
Springer
ESWS
2008
Springer
15 years 1 months ago
2008
Springer
132
click to vote
AISC
2010
Springer
15 years 2 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...