Sciweavers

5847 search results - page 145 / 1170
» Visualization of Knowledge Structures
Sort
View
TABLEAUX
2009
Springer
15 years 9 months ago
Tableaux for Projection Computation and Knowledge Compilation
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
Christoph Wernhard
149
Voted
IJFCS
2008
98views more  IJFCS 2008»
15 years 4 months ago
On Succinct Representation of Knowledge Community Taxonomies with Formal Concept Analysis
We present an application of formal concept analysis aimed at representing a meaningful structure of knowledge communities in the form of a lattice-based taxonomy. The taxonomy gr...
Camille Roth, Sergei A. Obiedkov, Derrick G. Kouri...
144
Voted
VL
2003
IEEE
141views Visual Languages» more  VL 2003»
15 years 10 months ago
A browsing interface for exploring constraints in visualization rules
We built a prototype tool for browsing constraint systems for the layout of graphical objects. It has two views: In one view, the tool visualizes a constraint system as a threedim...
Shin Takahashi
VISUALIZATION
2002
IEEE
15 years 9 months ago
CPR - Curved Planar Reformation
Visualization of tubular structures such as blood vessels is an important topic in medical imaging. One way to display tubular structures for diagnostic purposes is to generate lo...
Armin Kanitsar, Dominik Fleischmann, Rainer Wegenk...
TVCG
2008
96views more  TVCG 2008»
15 years 4 months ago
Visualization of Cellular and Microvascular Relationships
Understanding the structure of microvasculature structures and their relationship to cells in biological tissue is an important and complex problem. Brain microvasculature in parti...
David Mayerich, Louise Abbott, John Keyser