9532 search results - page 240 / 1907 » Logic, Graphs, and Algorithms |
176
click to vote
ACSC
2004
IEEE
15 years 9 months ago
2004
IEEE
Graph drawing is an important area of information visualization which concerns itself with the visualization of relational data structures. Relational data like networks, hierarch...
165
click to vote
IBIS
2006
15 years 6 months ago
2006
: Schema matching is the task of finding semantic correspondences between elements of two schemas, which plays a key role in many database applications. In this paper, we cast the ...
150
click to vote
DIAGRAMS
2000
Springer
15 years 10 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
130
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
164
click to vote
ITA
2006
15 years 6 months ago
2006
PageRank is a ranking method that assigns scores to web pages using the limit distribution of a random walk on the web graph. A fibration of graphs is a morphism that is a local i...