42507 search results - page 107 / 8502 » On the analysis of |
152
click to vote
CSB
2005
IEEE
16 years 2 days ago
2005
IEEE
High-throughput scoring of image-based biological assays heavily depends on the extraction of quantitative numerical information from microscopy images. This paper describes how t...
141
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
181
click to vote
GD
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes the GEOMI system, a visual analysis tool for the visualisation and analysis of large and complex networks. GEOMI provides a collection of network analysis meth...
150
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...
150
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...