Sciweavers

204 search results - page 6 / 41
» Reasoning with Spider Diagrams
Sort
View
TVCG
2012
169views Hardware» more  TVCG 2012»
11 years 10 months ago
Visual Reasoning about Social Networks Using Centrality Sensitivity
—In this paper, we study the sensitivity of centrality metrics as a key metric of social networks to support visual reasoning. As centrality represents the prestige or importance...
Carlos D. Correa, Tarik Crnovrsanin, Kwan-Liu Ma
IV
2008
IEEE
155views Visualization» more  IV 2008»
14 years 1 months ago
Visualise Undrawable Euler Diagrams
Given a group of overlapping sets, it is not always possible to represent it with Euler diagrams. Euler diagram characteristics might collide with the sets relationships to depict...
Paolo Simonetto, David Auber
FM
2005
Springer
89views Formal Methods» more  FM 2005»
14 years 1 months ago
Control Law Diagrams in Circus
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
DIAGRAMS
2004
Springer
13 years 11 months ago
Towards a Default Reading for Constraint Diagrams
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
Andrew Fish, John Howse
CADE
2012
Springer
11 years 10 months ago
SPARQL Query Containment under RDFS Entailment Regime
The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important...
Melisachew Wudage Chekol, Jérôme Euze...