1972 search results - page 275 / 395 » Evolutionary algorithms and dynamic programming |
134
click to vote
CL
1999
Springer
15 years 4 months ago
1999
Springer
It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of ine ciency comes from th...
131
click to vote
FAW
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we consider a map labeling problem to maximize the number of independent labels in the plane. We first investigate the point labeling model that each label can be ...
162
click to vote
ACMICEC
2008
ACM
15 years 6 months ago
2008
ACM
Supply Chain Management (SCM) involves a number of interrelated activities from negotiating with suppliers to competing for customer orders and scheduling the manufacturing proces...
157
click to vote
ASE
2005
15 years 4 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
171
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...