2741 search results - page 7 / 549 » Engineering Mathematical Knowledge |
113
click to vote
MKM
2005
Springer
15 years 7 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
16 years 2 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...
87
Voted
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
148
Voted
AISC
2010
Springer
15 years 4 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...