3233 search results - page 185 / 647 » Validation Method for Intelligent Systems |
145
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
We investigate the dynamics of trader behaviors using a co-evolutionary genetic programming system to simulate a double-auction market. The objective of this study is twofold. Fir...
98
Voted
AUSAI
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we propose a method where humanoid robot acquires meanings of grammatical connectives using direct physical feedback from human. Our system acquired 70% connectives ...
102
Voted
ICARIS
2005
Springer
15 years 9 months ago
2005
Springer
We propose to develop a theoretical basis and experimental simulator of the first Immune-Computer (IC) as a new kind of biomolecular computer. This IC will be able to control a fra...
120
Voted
TABLEAUX
2005
Springer
15 years 9 months ago
2005
Springer
For applications of first-order automated theorem provers in a wider verification context it is essential to provide a means of presenting and checking automatically found proofs...
135
Voted
ICTAI
1996
IEEE
15 years 7 months ago
1996
IEEE
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...