4042 search results - page 405 / 809 » The EXODUS Optimizer Generator |
183
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper we consider sampling based fitted value iteration for discounted, large (possibly infinite) state space, finite action Markovian Decision Problems where only a gener...
178
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
186
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Exploratory ad-hoc queries could return too many answers ? a phenomenon commonly referred to as "information overload". In this paper, we propose to automatically catego...
164
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
Compiled simulation is a well known technique for improving the performance of instruction set simulators at the cost of compilation time. However the compilation time overhead ma...
174
click to vote
ICNC
2009
Springer
16 years 1 months ago
2009
Springer
—Genetic algorithm (GA) is too dependent on the initial population and a lack of local search ability. In this paper, an improved greedy genetic algorithm (IGAA) is proposed to o...