3206 search results - page 262 / 642 » Optimizing Graph Algorithms for Improved Cache Performance |
124
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
117
Voted
KI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper we present a new symbolic algorithm for the classification, i. e. the calculation of the rewards for both players in case of optimal play, of two-player gam...
80
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We present a new retraction algorithm for high DOF articulated models and use our algorithm to improve the performance of RRT planners in narrow passages. The retraction step i...
212
click to vote
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
Optimizations performed at link time or directly applied to nal program executables have received increased attention in recent years. This paper discuss the discovery and elimina...
109
Voted
ENGL
2007
15 years 3 months ago
2007
Abstract—This paper presents a systematic approach for the design of temperature controller using genetic algorithms (GAs) for thermal power plant subsystems and investigates the...