961 search results - page 111 / 193 » Automatic design synthesis with artificial intelligence tech... |
211
Voted
ANTSW
2010
Springer
15 years 4 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...
169
click to vote
ICTAI
2009
IEEE
16 years 24 days 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 ...
123
click to vote
ICTAI
2008
IEEE
16 years 17 days 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...
164
click to vote
CEC
2005
IEEE
15 years 11 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...
162
click to vote
AUSAI
2005
Springer
15 years 11 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...