2584 search results - page 258 / 517 » On the Forward Checking Algorithm |
131
click to vote
TNN
1998
15 years 2 months ago
1998
— In this paper, we perform a complete asymptotic performance analysis of the stochastic approximation algorithm (denoted subspace network learning algorithm) derived from Oja’...
231
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
142
click to vote
PEPM
2009
ACM
16 years 1 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
134
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Peer-to-peer approaches to anonymous communication promise to eliminate the scalability concerns and central vulnerability points of current networks such as Tor. However, the P2P...
126
click to vote
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...