5775 search results - page 319 / 1155 » A Rationale-based Analysis Tool |
172
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
† There is a significant need for a realistic dataset on which to evaluate layout analysis methods and examine their performance in detail. This paper presents a new dataset (and...
149
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
167
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
170
click to vote
MIE
2008
15 years 8 months ago
2008
Lifelong electronic health records can supply valuable information for research, quality management and health politics in addition to supporting treatment of patients. Based on ex...
175
click to vote
NETWORKING
2004
15 years 8 months ago
2004
If efficient network analysis tools were available, it could become possible to detect the attacks, anomalies and to appropriately take action to contain the attacks. In this paper...