Sciweavers

4209 search results - page 757 / 842
» Abstract Dialectical Frameworks
Sort
View
VIS
2008
IEEE
162views Visualization» more  VIS 2008»
16 years 4 months ago
Geodesic Distance-weighted Shape Vector Image Diffusion
Abstract--This paper presents a novel and efficient surface matching and visualization framework through the geodesic distanceweighted shape vector image diffusion. Based on confor...
Jing Hua, Zhaoqiang Lai, Ming Dong, Xianfeng Gu...
VIS
2009
IEEE
200views Visualization» more  VIS 2009»
16 years 4 months ago
Interactive Coordinated Multiple-View Visualization of Biomechanical Motion Data
Abstract-- We present an interactive framework for exploring space-time relationships in databases of experimentally collected highresolution biomechanical data. These data describ...
Daniel F. Keefe, Marcus Ewert, William Ribarsky,...
VIS
2009
IEEE
158views Visualization» more  VIS 2009»
16 years 4 months ago
A Novel Interface for Interactive Exploration of DTI Fibers
Visual exploration is essential to the visualization and analysis of densely sampled 3D DTI fibers in biological speciments, due to the high geometric, spatial, and anatomical comp...
Wei Chen, Zi’ang Ding, Song Zhang, Anna MacKay...
POPL
2003
ACM
16 years 3 months ago
Pure patterns type systems
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
Gilles Barthe, Horatiu Cirstea, Claude Kirchner, L...
RECOMB
2005
Springer
16 years 3 months ago
The Factor Graph Network Model for Biological Systems
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
Irit Gat-Viks, Amos Tanay, Daniela Raijman, Ron Sh...