11949 search results - page 152 / 2390 » Some results on (a:b)-choosability |
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— We give geometrical conditions, which guarantee the existence of a diffeomorphism in order to transform a nonlinear system without inputs into a canonical normal form depending...
103
click to vote
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
—We investigate the distance vectors contained in individual and in pairs of Costas arrays, and prove some rigorous results in the case of the algebraically constructed ones. Ove...
108
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...
102
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
ICANNGA
2007
Springer
15 years 7 months ago
2007
Springer
A new method of genetic evolution of linear and nonlinear evaluation functions in the game of checkers is presented. Several practical issues concerning application of genetic algo...