12264 search results - page 307 / 2453 » An Analysis of the XSL Algorithm |
138
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
203
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
189
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
167
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
When different subsamples of the same data set are used to induce classification trees, the structure of the built classifiers is very different. The stability of the structure of ...
159
click to vote
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
We have recently presented CarpeDiem, an algorithm that can be used for speeding up the evaluation of Supervised Sequential Learning (SSL) classifiers. CarpeDiem provides impress...