2877 search results - page 295 / 576 » The Complexity of Planarity Testing |
206
click to vote
AISADM
2005
Springer
16 years 10 days ago
2005
Springer
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...
180
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
We are concerned with the use of Mobile Agents for information retrieval. A multi-agent system is considered; a number of agents are involved in a collective effort to retrieve di...
164
click to vote
CASSIS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
173
Voted
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
155
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
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...