961 search results - page 111 / 193 » Automatic design synthesis with artificial intelligence tech... |
134
click to vote
ANTSW
2010
Springer
14 years 11 months ago
2010
Springer
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
107
click to vote
ICTAI
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper a learning based local search approach for propositional satisfiability is presented. It is based on an original adaptation of the conflict driven clause learning ...
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a grammar-induction based approach to partitioning a Web page into several small pages while each small page fits not only spatially but also logically for mob...
118
click to vote
CEC
2005
IEEE
15 years 7 months ago
2005
IEEE
New results are presented for the prediction of secondary structure information for protein sequences using Hidden Markov Models (HMMs) evolved using a Genetic Algorithm (GA). We a...
100
click to vote
AUSAI
2005
Springer
15 years 7 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...