2715 search results - page 161 / 543 » An Implementation of Narrowing Strategies |
172
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
We focus on the handling of overlapping solutions in evolutionary multiobjective optimization (EMO) algorithms. First we show that there exist a large number of overlapping soluti...
174
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
140
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
One of the differences among the various approaches to suspension-based tabled evaluation is the scheduling strategy. The two most popular strategies are local and batched evaluat...
180
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
162
Voted
GLOBECOM
2007
IEEE
16 years 11 days ago
2007
IEEE
—In [1], the author introduced a strategy to use network coding on p-Cycles in order to provide 1+N protection for straddling connections and links against single link failures i...