42507 search results - page 232 / 8502 » On the analysis of |
141
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
We introduce here the notions of identity and unity as they have been discussed in Philosophy, and then provide additional clarifications needed to use these notions as fundamental...
130
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Domains Decomposing Non-Redundant Sharing by Complementation . . . . . . . . . . . . . 69 Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Freeness Analysis Through Linear Refine...
170
Voted
POPL
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
154
Voted
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
In document analysis, it is common to prove the usefulness of a component by an experimental evaluation. By applying the respective algorithms to a test sample, some effectiveness...
157
Voted
ITC
1999
IEEE
15 years 11 months ago
1999
IEEE
SEMATECH has sponsored a "Test Method Evaluation" study to understand the trade-offs among the most common test methodologies used in the industry[1,2]. This paper prese...