3598 search results - page 402 / 720 » New efficient algorithms for computing effective capacitance |
183
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
185
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In reinforcement learning, least-squares temporal difference methods (e.g., LSTD and LSPI) are effective, data-efficient techniques for policy evaluation and control with linear v...
218
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In a multi-hop mobile ad hoc network (MANET) mobile nodes communicate with each other forming a cooperative radio network. Security remains a major challenge for these networks du...
195
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
Deploying a classifier to large-scale systems such as the web requires careful feature design and performance evaluation. Evaluation is particularly challenging because these larg...
167
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose the tracking of long duration flows as a new network measurement primitive. Long-duration flows are characterized by their long lived nature in time, and may not have hi...