Sciweavers

1458 search results - page 49 / 292
» Monads for incremental computing
Sort
View
ISPD
1999
ACM
95views Hardware» more  ISPD 1999»
14 years 3 months ago
Incremental capacitance extraction and its application to iterative timing-driven detailed routing
In this paper, we consider delay optimization in multilayer detailed routing. Given a detailed routing by some detailed router, we iteratively improve the delays of critical nets ...
Yanhong Yuan, Prithviraj Banerjee
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
14 years 5 months ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
DIS
2007
Springer
14 years 2 months ago
Efficient Incremental Mining of Top-K Frequent Closed Itemsets
In this work we study the mining of top-K frequent closed itemsets, a recently proposed variant of the classical problem of mining frequent closed itemsets where the support thresh...
Andrea Pietracaprina, Fabio Vandin
ICPR
2008
IEEE
14 years 5 months ago
Incremental nested partition method
In this paper, we introduce an incremental nested partition algorithm for finding the inner structuralization of dynamic datasets. Here we use three partition criteria that allow...
Jyrko Correa-Morris, José Ruiz-Shulcloper, ...
DAGM
2004
Springer
14 years 2 months ago
MinOver Revisited for Incremental Support-Vector-Classification
The well-known and very simple MinOver algorithm is reformulated for incremental support vector classification with and without kernels. A modified proof for its O(t-1/2 ) converge...
Thomas Martinetz