42507 search results - page 27 / 8502 » On the analysis of |
107
click to vote
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a new framework for in-depth analysis of the performance of layout analysis methods. Contrary to existing approaches aimed at evaluation or benchmarking, the p...
223
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
JGS
2000
15 years 1 months ago
2000
Spatial analysis mostly developed in an era when data was scarce and computational power was expensive. Consequently, traditional spatial analysis greatly simpli
121
click to vote
JUCS
2010
15 years 10 days ago
2010
: In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.
118
click to vote
RSCTC
2004
Springer
15 years 7 months ago
2004
Springer
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...