525 search results - page 61 / 105 » New Active Tools for Supporting Narrative Structures |
122
Voted
DIAGRAMS
2010
Springer
15 years 2 months ago
2010
Springer
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
124
click to vote
BMCBI
2010
15 years 21 days ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
122
Voted
HT
1996
ACM
15 years 4 months ago
1996
ACM
HyPursuit is a new hierarchical network search engine that clusters hypertext documents to structure a given information space for browsing and search activities. Our content-link...
140
click to vote
ICFP
2006
ACM
16 years 16 days ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
VIP
2003
15 years 1 months ago
2003
This paper introduced GP-Soft, a powerful new patient management system, which is designed to improve the records management for clinic, nursing home and hospital. GP-Soft is a co...