Sciweavers

4352 search results - page 719 / 871
» A Representation Theorem and Applications
Sort
View
FORTEST
2008
15 years 8 months ago
Testing Data Types Implementations from Algebraic Specifications
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
Marie-Claude Gaudel, Pascale Le Gall
AVI
2010
15 years 7 months ago
3D attentional maps: aggregated gaze visualizations in three-dimensional virtual environments
Gaze visualizations hold the potential to facilitate usability studies of interactive systems. However, visual gaze analysis in threedimensional virtual environments still lacks m...
Sophie Stellmach, Lennart Nacke, Raimund Dachselt
BILDMED
2007
134views Algorithms» more  BILDMED 2007»
15 years 7 months ago
Generation of Hulls Encompassing Neuronal Pathways Based on Tetrahedralization and 3D Alpha Shapes
Abstract. Diffusion tensor imaging provides information about structure and location of white matter tracts within the human brain which is of particular interest for neurosurgery...
Dorit Merhof, Martin Meister, Ezgi Bingöl, Pe...
CIMAGING
2010
195views Hardware» more  CIMAGING 2010»
15 years 7 months ago
SPIRAL out of convexity: sparsity-regularized algorithms for photon-limited imaging
The observations in many applications consist of counts of discrete events, such as photons hitting a detector, which cannot be effectively modeled using an additive bounded or Ga...
Zachary T. Harmany, Roummel F. Marcia, Rebecca Wil...
CSSW
2007
15 years 7 months ago
Weaving Space into the Web of Trust: An Asymmetric Spatial Trust Model for Social Networks
The proliferation of Geo-Information (GI) production in web-based collaboration environments such as mapping mashups built on top of mapping APIs such as GoogleMaps API poses new c...
Mohamed Bishr