1251 search results - page 138 / 251 » Using Visualization to Debug Visualization Software |
105
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
101
click to vote
BIB
2008
15 years 3 months ago
2008
The Molecular Evolutionary Genetics Analysis (MEGA) software is a desktop application designed for comparative analysis of homologous gene sequences either from multigene families...
124
click to vote
AVI
2010
15 years 4 months ago
2010
To increase its credibility and preserve the trust of its readers, Wikipedia needs to ensure a good quality of its articles. To that end, it is critical for Wikipedia administrato...
132
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
Tagclouds are visual presentations of a set of words, typically a set of "tags" selected by some rationale, in which attributes of the text such as size, weight, or colo...
139
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...