Sciweavers

2542 search results - page 330 / 509
» Computing Cartograms with Optimal Complexity
Sort
View
ICTAI
2005
IEEE
14 years 4 months ago
Good Learning and Implicit Model Enumeration
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
António Morgado, João P. Marques Sil...
ASM
2005
ASM
14 years 4 months ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes
EUC
2005
Springer
14 years 4 months ago
The Content Analyzer Supporting Interoperability of MPEG-4 Content in Heterogeneous Players
MPEG-4 supports object-based interactive multimedia applications. To compose complex multimedia scene, MPEG-4 supports BIFS and XMT as scene description. For interoperability of th...
Hyunju Lee, Sangwook Kim
GECCO
2005
Springer
109views Optimization» more  GECCO 2005»
14 years 4 months ago
Information landscapes and the analysis of search algorithms
In [15] we introduced the information landscape as a new concept of a landscape. We showed that for a landscape of a small size, information landscape theory can be used to predic...
Yossi Borenstein, Riccardo Poli
GECCO
2005
Springer
117views Optimization» more  GECCO 2005»
14 years 4 months ago
Directional self-learning of genetic algorithm
In order to overcome the low convergence speed and prematurity of classical genetic algorithm, an improved method named directional self-learning of genetic algorithm (DSLGA) is p...
Lin Cong, Yuheng Sha, Licheng Jiao, Fang Liu