9316 search results - page 398 / 1864 » Analysis of traceback techniques |
144
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Recent theoretical work helped explain certain optimizationrelated pathologies in cooperative coevolutionary algorithms (CCEAs). Such explanations have led to adopting sp...
166
click to vote
ISQED
2003
IEEE
16 years 4 days ago
2003
IEEE
— The design of an efficient monolithic buck converter is presented in this paper. A low swing MOSFET gate drive technique is proposed that improves the efficiency characteristic...
174
click to vote
ESOP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
193
Voted
HYBRID
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
155
click to vote
ITNG
2010
IEEE
15 years 12 months ago
2010
IEEE
—There are different families of Spatio-temporal relations such as same-place same-time, same-place differenttimes, for road networks like overtake, derive beside and many others...