4708 search results - page 430 / 942 » Generating the Structure of Argument |
187
Voted
DCC
2001
IEEE
16 years 6 months ago
2001
IEEE
We consider the problem of compressing graphs of the link structure of the World Wide Web. We provide efficient algorithms for such compression that are motivated by recently prop...
173
Voted
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Understanding and maintaining the structure of large ontologies is a cognitively demanding task. Visualizations are commonly used as a cognitive aid for presenting large ontologie...
168
Voted
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
A multiobjective genetic algorithm to uncover community structure in complex network is proposed. The algorithm optimizes two objective functions able to identify densely connecte...
194
Voted
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Most methods for generating Euler diagrams describe the detection of the general structure of the final draw as the first and most important step. This information is often depi...
207
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...