1228 search results - page 107 / 246 » Continuations, proofs and tests |
170
click to vote
AICCSA
2001
IEEE
15 years 9 months ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
152
click to vote
WSC
2008
15 years 8 months ago
2008
We develop and evaluate a semiparametric method to estimate the mean-value function of a nonhomogeneous Poisson process (NHPP) using one or more process realizations observed over...
172
click to vote
COLOGNETWENTE
2009
15 years 7 months ago
2009
Abstract Within the context of solving Mixed-Integer Linear Programs by a Branch-andCut algorithm, we propose a new strategy for branching. Computational experiments show that, on ...
125
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Continuing in the steps of Jon Kleinberg's and others celebrated work on decentralized search, we conduct an experimental analysis of destination sampling, a dynamic algorithm...
138
click to vote
MR
2007
15 years 5 months ago
2007
Electronic Prognostics (EP) is a technique used in high-reliability and high-availability systems to actively and proactively detect faults, allowing the reduction of system downt...