1242 search results - page 87 / 249 » Benchmark Analysis with FaCT |
ISPAN
2002
IEEE
14 years 3 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
ICML
1998
IEEE
14 years 11 months ago
1998
IEEE
We analyze critically the use of classi cation accuracy to compare classi ers on natural data sets, providing a thorough investigation using ROC analysis, standard machine learnin...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes our preliminary analysis on the induction of communication protocols. Our work has two goals: (i) to recognize rules (i.e. protocols) from the communicative b...
ILP
2003
Springer
14 years 3 months ago
2003
Springer
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
AGP
1997
IEEE
14 years 2 months ago
1997
IEEE
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes setsharing. In thi...