Sciweavers

214 search results - page 13 / 43
» Geometry and Meaning
Sort
View
MICCAI
2009
Springer
14 years 9 months ago
A Riemannian Framework for Orientation Distribution Function Computing
Compared with Diffusion Tensor Imaging (DTI), High Angular Resolution Imaging (HARDI) can better explore the complex microstructure of white matter. Orientation Distribution Functi...
Jian Cheng, Aurobrata Ghosh, Tianzi Jiang, Rachid ...
ITS
2004
Springer
115views Multimedia» more  ITS 2004»
14 years 1 months ago
Evaluating the Effectiveness of a Tutorial Dialogue System for Self-Explanation
Previous research has shown that self-explanation can be supported effectively in an intelligent tutoring system by simple means such as menus. We now focus on the hypothesis that ...
Vincent Aleven, Amy Ogan, Octav Popescu, Cristen T...
ICRA
2008
IEEE
165views Robotics» more  ICRA 2008»
14 years 2 months ago
Macromodel for the mechanics of gecko hair adhesion
—In this work, we explore the mechanical behavior of gecko hairs by means of macromodels. The macromodel has four spatular hairs operating by magnetic forces instead of van der W...
Michael P. Reyes, Ronald S. Fearing
CAIP
2009
Springer
102views Image Analysis» more  CAIP 2009»
14 years 13 days ago
A Riemannian Scalar Measure for Diffusion Tensor Images
Abstract. We study a well-known scalar quantity in differential geometry, the Ricci scalar, in the context of Diffusion Tensor Imaging (DTI). We explore the relation between the Ri...
Andrea Fuster, Laura Astola, Luc Florack
CSL
2008
Springer
13 years 10 months ago
Quantitative Game Semantics for Linear Logic
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Ugo Dal Lago, Olivier Laurent