Sciweavers

1179 search results - page 121 / 236
» Generalized Shape Autocorrelation
Sort
View
LICS
2010
IEEE
13 years 7 months ago
Equality Is Typable in Semi-full Pure Type Systems
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
Vincent Siles, Hugo Herbelin
MA
2010
Springer
86views Communications» more  MA 2010»
13 years 7 months ago
Tests for multiple regression based on simplicial depth
A general approach for developing distribution free tests for general linear models based on simplicial depth is applied to multiple regression. The tests are based on the asympto...
Robin Wellmann, Christine H. Müller
GBRPR
2009
Springer
13 years 6 months ago
A First Step toward Combinatorial Pyramids in n-D Spaces
Abstract. Combinatorial maps define a general framework which allows to encode any subdivision of an nD orientable quasi-manifold with or without boundaries. Combinatorial pyramids...
Sébastien Fourey, Luc Brun
TEI
2012
ACM
258views Hardware» more  TEI 2012»
12 years 4 months ago
The HapticTouch toolkit: enabling exploration of haptic interactions
In the real world, touch based interaction relies on haptic feedback (e.g., grasping objects, feeling textures). Unfortunately, such feedback is absent in current tabletop systems...
David Ledo, Miguel A. Nacenta, Nicolai Marquardt, ...
MICCAI
2009
Springer
14 years 10 months ago
Fast and Robust 3-D MRI Brain Structure Segmentation
We present a novel method for the automatic detection and segmentation of (sub-)cortical gray matter structures in 3-D magnetic resonance images of the human brain. Essentially, th...
Michael Wels, Yefeng Zheng, Gustavo Carneiro, M...